{"id":"W154983637","doi":"","title":"Perspectives on Formal Methods in the Last 25 years","year":2006,"lang":"en","type":"article","venue":"School of Computing Science Technical Report Series","topic":"Software Engineering Research","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"","keywords":"Formal methods; Context (archaeology); Computer science; Field (mathematics); Subject (documents); Quarter (Canadian coin); Software engineering; Work (physics); Data science; Engineering; History; Library science; Archaeology; Mathematics","routes":{"ca_aff":false,"ca_fund":false,"ca_venue":false,"about_ca":true,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":["metaresearch"],"consensus_categories":[],"category_scores_codex":[0.009865372,0.001000934,0.0007708307,0.00402147,0.002850765,0.006813141,0.001421393,0.004664833,0.008748523],"category_scores_gemma":[0.008812729,0.0003350089,0.0009757181,0.003166873,0.01824648,0.01027715,0.003083524,0.006180328,0.001645337],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.008899465,"about_ca_system_score_gemma":0.00285045,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003583218,"about_ca_topic_score_gemma":0.002909918,"domain_scores_codex":[0.9941135,0.002985638,0.0003154941,0.0006640622,0.001501209,0.0004200849],"domain_scores_gemma":[0.9897466,0.007631643,0.0004616175,0.0004620175,0.001154455,0.0005436415],"domain_codex":null,"domain_gemma":"methods","domain_candidate":"methods","domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.00002168171,0.00001878268,0.0001014606,0.0002589022,0.000008202009,0.00006148973,0.001125004,0.0003607578,0.0001007265,0.960813,0.014733,0.02239689],"study_design_scores_gemma":[0.000009970878,0.00002533584,0.000133507,0.0006067841,0.000003858808,0.0001214711,0.0007052889,0.0002800269,0.00006216728,0.3716551,0.6263803,0.00001614615],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"review","genre_gemma":"review","genre_scores_codex":[0.00272047,0.7091786,0.01753635,0.1625702,0.009716829,0.00001377509,0.00009930138,0.00009615326,0.09806836],"genre_scores_gemma":[0.1546867,0.6935698,0.02139594,0.05554631,0.02860479,0.0001588348,0.0002269084,0.0002085207,0.04560221],"genre_candidate":"review","genre_consensus":"review","teacher_disagreement_score":0.9901347,"threshold_uncertainty_score":0.06457043,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01722155586821785,"score_gpt":0.3558945100244626,"score_spread":0.3386729541562448,"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."}}