{"id":"W2147290904","doi":"10.1007/978-3-319-12214-4_15","title":"Applying Formal Methods into Safety-Critical Health Applications","year":2014,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":false,"ca_institutions":"Polytechnique Montréal","funders":"","keywords":"Computer science; Correctness; Stateflow; Formal methods; Formal verification; Construct (python library); Model checking; Life-critical system; Software engineering; Key (lock); Programming language; Software; Computer security","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":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.007004125,0.0005922701,0.0007805584,0.0009536133,0.0009313456,0.0005540487,0.004793884,0.0003935711,0.0000144876],"category_scores_gemma":[0.0004528989,0.0005811296,0.0001703565,0.000963468,0.001132972,0.001010657,0.001995396,0.001256106,0.00008318115],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0007584998,"about_ca_system_score_gemma":0.0008762677,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002910657,"about_ca_topic_score_gemma":0.00001961103,"domain_scores_codex":[0.994585,0.0002771491,0.001091906,0.001886057,0.001066577,0.001093308],"domain_scores_gemma":[0.9948076,0.001512849,0.0004694797,0.002483224,0.0003382378,0.0003886103],"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.000002177785,0.000009326763,0.000001753876,0.00006968799,0.000002866089,0.000001271056,0.0002886541,0.001923885,0.0000320869,0.3738941,0.000004760237,0.6237695],"study_design_scores_gemma":[0.0001414578,0.0001707199,0.00002419912,0.0002215369,0.000005718509,0.00007098652,2.730442e-7,0.5597129,0.0007695777,0.3768407,0.06140774,0.0006342526],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[1.83817e-7,0.0006452797,0.9910573,0.001394521,0.001638367,0.001603448,0.000003336098,0.0003237682,0.003333817],"genre_scores_gemma":[0.001194395,0.00006056763,0.9943036,0.003307263,0.0005708876,0.0004112658,0.000008268183,0.00004338286,0.0001003625],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.6231352,"threshold_uncertainty_score":0.999664,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03300731199408783,"score_gpt":0.36993222658219,"score_spread":0.3369249145881022,"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."}}