{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002329034,0.001439986,0.0008482441,0.001743077,0.0007314859,0.002311467,0.001687661,0.0007356114,0.009808487],"category_scores_gemma":[0.005566437,0.001344273,0.002172718,0.001258672,0.002359481,0.004231531,0.002385153,0.002327932,0.003049562],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00142747,"about_ca_system_score_gemma":0.001714656,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001539574,"about_ca_topic_score_gemma":0.00125667,"domain_scores_codex":[0.995223,0.001325003,0.0002946291,0.0006933828,0.002167694,0.0002963823],"domain_scores_gemma":[0.9974723,0.00112817,0.0001496322,0.0009230799,0.0003019649,0.00002493752],"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.0001236902,0.0001095027,0.0004488277,0.0005704419,0.00009452875,0.0002336383,0.0003734896,0.06071585,0.01071574,0.6949022,0.005884984,0.2258272],"study_design_scores_gemma":[0.00008835027,0.0001096301,0.0002772432,0.0003628431,0.000144255,0.0002181893,0.0000810277,0.2865859,0.06350546,0.5902638,0.05829915,0.00006417929],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.001684117,0.0001410337,0.9874009,0.00006348722,0.00004210335,0.00008016174,0.00008482041,0.001821484,0.008681863],"genre_scores_gemma":[0.1977408,0.001174495,0.7776856,0.0002620815,0.0001045031,0.0007717781,0.001195577,0.001591939,0.01947322],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.009808487,"threshold_uncertainty_score":0.03281265,"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."}}