{"id":"W2549874460","doi":"10.1002/9780470522622.ch13","title":"Design Verification with State Invariants","year":2009,"lang":"en","type":"other","venue":"","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":true,"ca_institutions":"McMaster University","funders":"","keywords":"Invariant (physics); State (computer science); Computer science; Programming language; Theoretical computer science; Mathematics; Mathematical physics","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.0005698799,0.000180541,0.0001523984,0.0002525382,0.00002797198,0.0001016925,0.0008443744,0.0001345352,0.0001474529],"category_scores_gemma":[0.00001896223,0.000140635,0.00001540039,0.0003777074,0.00003147844,0.0002061757,0.00003673195,0.0001237659,0.0003601626],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003984581,"about_ca_system_score_gemma":0.00009055676,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00004388069,"about_ca_topic_score_gemma":0.00001076518,"domain_scores_codex":[0.998833,0.0001204446,0.000159331,0.0004027555,0.0002813223,0.0002031399],"domain_scores_gemma":[0.998692,0.00002482453,0.0002216203,0.0009604501,0.00004075525,0.00006038197],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"not_applicable","study_design_scores_codex":[0.00003111846,0.00009002486,0.000005245164,0.00003570599,0.00004834607,0.00001689818,0.0002827967,0.00010341,0.0002617326,0.1632832,0.3554361,0.4804054],"study_design_scores_gemma":[0.0008120743,0.0007432415,0.001142023,0.0002951643,0.0000270435,0.00005259113,0.00001152399,0.05613337,0.01337026,0.006785777,0.9191036,0.001523358],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[1.163119e-7,0.00003433977,0.6196616,0.00002815197,0.0001096034,0.0002348134,5.306649e-7,0.0004150098,0.3795158],"genre_scores_gemma":[0.00001142776,0.00003052507,0.7053587,0.0001636348,0.0000304075,0.000009566056,0.00000323332,0.00006946249,0.294323],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.5636675,"threshold_uncertainty_score":0.5734931,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03454472386444245,"score_gpt":0.2658881551958739,"score_spread":0.2313434313314315,"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."}}