{"id":"W1807103277","doi":"10.1016/j.scico.2015.10.005","title":"Formal verification of function blocks applied to IEC 61131-3","year":2015,"lang":"en","type":"article","venue":"Science of Computer Programming","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":10,"is_retracted":false,"has_abstract":false,"ca_institutions":"McMaster University","funders":"","keywords":"Computer science; Implementation; Correctness; Programmable logic controller; Consistency (knowledge bases); Function (biology); Block (permutation group theory); Programming language; Certification; Function block diagram; Embedded system; Programmable logic device; Operating system; Artificial intelligence","routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003114538,0.0001284051,0.0001985114,0.0004045351,0.0001291048,0.0001407906,0.001606156,0.00004976348,0.000001107649],"category_scores_gemma":[0.00009129071,0.0001237699,0.00004526287,0.002272155,0.0003108886,0.001423219,0.000519562,0.00009100204,0.00001161744],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00008096627,"about_ca_system_score_gemma":0.0002688575,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001890392,"about_ca_topic_score_gemma":9.289879e-7,"domain_scores_codex":[0.9977345,0.00003785472,0.0004684039,0.0004632752,0.0008867264,0.0004091648],"domain_scores_gemma":[0.998025,0.0000273938,0.0003145471,0.0007978108,0.0006168897,0.0002183453],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00002556526,0.00007950592,0.0001681027,0.000021456,0.000004158384,1.592908e-7,0.001654763,0.002445834,0.01057545,0.1397967,0.00004472253,0.8451836],"study_design_scores_gemma":[0.001237058,0.002670142,0.02027811,0.0001258728,0.00002586349,0.0000264772,0.0004790557,0.5978385,0.3540918,0.009039387,0.01339035,0.0007974255],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.07203226,0.00001175672,0.9256591,0.00007444363,0.0008202532,0.0003937054,4.212779e-7,0.000113716,0.0008943402],"genre_scores_gemma":[0.4835366,2.082481e-7,0.5163687,0.00002530947,0.00004222729,0.00001803141,7.85511e-7,0.000003193347,0.000004981961],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.8443862,"threshold_uncertainty_score":0.5047191,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0386080968845398,"score_gpt":0.2954469819160373,"score_spread":0.2568388850314975,"validation_status":"score_only:v0-immature-baseline","note":"Baseline scores from an immature model (maturity gate not passed). Scores rank; they never assert a category."}}