{"id":"W1554047564","doi":"10.1016/s0167-6423(01)00026-0","title":"Formal methods: the very idea","year":2002,"lang":"en","type":"article","venue":"Science of Computer Programming","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":53,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Waterloo","funders":"","keywords":"Computer science; Work (physics); Domain (mathematical analysis); Formal methods; Silver bullet; Software engineering","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.005218174,0.0001386141,0.0001665423,0.000210353,0.000508361,0.00044021,0.003545165,0.00003881191,0.000007054792],"category_scores_gemma":[0.0001638485,0.00009667215,0.00008870337,0.002102918,0.0008546202,0.002688359,0.000924788,0.0001781376,0.00002469547],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00004587047,"about_ca_system_score_gemma":0.00005698671,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000007909607,"about_ca_topic_score_gemma":2.897848e-7,"domain_scores_codex":[0.9976993,0.0001905874,0.0003916776,0.000434686,0.0006833885,0.0006003631],"domain_scores_gemma":[0.998202,0.0001780363,0.0002411092,0.001047373,0.0002302826,0.00010126],"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":[6.512853e-7,0.00002911246,0.00003249475,0.000008398109,0.000002927068,5.900092e-7,0.001031755,0.0001301387,0.0007595905,0.1149205,0.00004551179,0.8830383],"study_design_scores_gemma":[0.000126784,0.0001728564,0.001352103,0.00002579481,0.000004462147,0.00004341186,0.0000479131,0.9650778,0.01904009,0.003208296,0.01071763,0.0001829241],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.004740865,0.0001666054,0.9920509,0.0003731645,0.001115459,0.0002555489,1.556231e-7,0.0001563963,0.001140876],"genre_scores_gemma":[0.1322353,0.000006187694,0.8675061,0.0001236183,0.00008147656,0.00001860371,1.028744e-7,0.000004945498,0.00002361104],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.9649476,"threshold_uncertainty_score":0.6587858,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04903776775227458,"score_gpt":0.3372662906134681,"score_spread":0.2882285228611935,"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."}}