{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002674044,0.001036633,0.0004266473,0.0009218678,0.0004538476,0.002116074,0.001421062,0.001243159,0.009839607],"category_scores_gemma":[0.007473188,0.0007359182,0.001039443,0.0004819995,0.002667778,0.002325718,0.002177096,0.002722642,0.001686625],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0008681312,"about_ca_system_score_gemma":0.001314308,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0007552476,"about_ca_topic_score_gemma":0.0006197489,"domain_scores_codex":[0.9986734,0.0004722174,0.0001020266,0.0001502525,0.000521922,0.00008020196],"domain_scores_gemma":[0.9954823,0.003639949,0.0001227663,0.000452067,0.0002435314,0.00005929218],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00005312547,0.00008787289,0.0002653025,0.001020409,0.00004422101,0.0002018009,0.001003266,0.03203205,0.01107094,0.6213154,0.006398092,0.3265075],"study_design_scores_gemma":[0.00004835354,0.0001079457,0.000154876,0.0007970945,0.00004558221,0.0003084577,0.0001656109,0.09406355,0.01627146,0.7398421,0.1481558,0.00003931539],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.001723055,0.001647503,0.9816571,0.0005019209,0.0002110477,0.00007816165,0.00002543456,0.0007487817,0.013407],"genre_scores_gemma":[0.1276938,0.005972414,0.8402995,0.0004371162,0.000291565,0.000234269,0.0001586335,0.0005500277,0.02436266],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.009839607,"threshold_uncertainty_score":0.03291672,"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."}}