{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.01387956,0.00148334,0.001615067,0.002619979,0.002769227,0.007561416,0.002950992,0.005389345,0.005034124],"category_scores_gemma":[0.01906469,0.001074391,0.002049758,0.001062982,0.03696312,0.02154586,0.003855611,0.01212125,0.002151836],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.004037801,"about_ca_system_score_gemma":0.00382824,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002223776,"about_ca_topic_score_gemma":0.0009045635,"domain_scores_codex":[0.9928833,0.003952348,0.0002803801,0.0008254307,0.001792333,0.0002662166],"domain_scores_gemma":[0.9831838,0.01242977,0.0003628203,0.002028647,0.001464283,0.000530634],"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.00001086896,0.000009613273,0.0000382171,0.00006098235,0.000007435961,0.000008803179,0.0001916707,0.0001912994,0.00006185561,0.9933015,0.002320231,0.003797586],"study_design_scores_gemma":[0.00002012027,0.000009930449,0.00001962939,0.00007283396,0.000004362438,0.00002507282,0.00005442628,0.0005532937,0.0001023543,0.9622615,0.03686659,0.000009841111],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.003668506,0.03819481,0.7861088,0.08789472,0.007030683,0.000153565,0.0002194472,0.0007323192,0.07599711],"genre_scores_gemma":[0.4198793,0.02757476,0.4449825,0.03289497,0.01627477,0.001197942,0.0003961672,0.001176122,0.05562355],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01387956,"threshold_uncertainty_score":0.07340306,"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."}}