{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003403415,0.0007438666,0.0004578481,0.0009027696,0.0005519274,0.001400734,0.001004081,0.0008979967,0.004195527],"category_scores_gemma":[0.009119404,0.0004093951,0.001040492,0.0002955009,0.001650167,0.001192021,0.0006744997,0.001012616,0.0008501354],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001073074,"about_ca_system_score_gemma":0.00329863,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.006512422,"about_ca_topic_score_gemma":0.004573649,"domain_scores_codex":[0.995831,0.001701722,0.0002207786,0.0002850072,0.001567845,0.0003937426],"domain_scores_gemma":[0.9942499,0.003518237,0.0003239088,0.0009028403,0.0009576249,0.00004740449],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0009031408,0.0002865142,0.002456239,0.001341542,0.0001599141,0.0007683021,0.0009564365,0.2962663,0.0925695,0.430123,0.005618807,0.1685503],"study_design_scores_gemma":[0.0002440748,0.0003908534,0.000932909,0.0003018418,0.0001614366,0.0002478237,0.00009321054,0.6940442,0.1733519,0.09740476,0.03274511,0.00008184672],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.03798901,0.0001498512,0.9511547,0.0001054325,0.0001166102,0.0002499719,0.0002144828,0.003607527,0.006412385],"genre_scores_gemma":[0.7052403,0.0002526116,0.2889405,0.0001176262,0.00004128084,0.0003626153,0.0005891322,0.0005303485,0.003925504],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.006512422,"threshold_uncertainty_score":0.01799917,"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."}}