{"id":"W1504176635","doi":"10.1007/3-540-45241-9_23","title":"State Generation in the PARMC Model Checker","year":2001,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of New Brunswick","funders":"","keywords":"Computer science; Generality; Compiler; Programming language; Relation (database); State (computer science); Representation (politics); Model checking; Code generation; Code (set theory); Transition system; Abstract state machines; Parallel computing; Theoretical computer science; Finite-state machine; Operating system; Database","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":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.002743721,0.0003982387,0.0003196606,0.0006067511,0.0002035183,0.0005876718,0.003987873,0.000228352,0.000006734384],"category_scores_gemma":[0.0001047975,0.0003037478,0.00008041915,0.0008383865,0.0004131293,0.000911232,0.0005804412,0.000867774,0.00003238052],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0003053917,"about_ca_system_score_gemma":0.0003823224,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002237083,"about_ca_topic_score_gemma":0.0001166056,"domain_scores_codex":[0.9965091,0.0001097232,0.000563603,0.001187567,0.001063841,0.0005661689],"domain_scores_gemma":[0.9976841,0.000129706,0.0002653,0.001686144,0.0001612367,0.00007348751],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000002675983,0.0000234059,0.00001614502,0.00001001223,0.000002297947,0.0000272598,0.002169352,0.5126447,0.0001146549,0.09739583,0.00003846701,0.3875552],"study_design_scores_gemma":[0.0001078054,0.00004572065,0.00006519592,0.0000451715,0.000002075852,0.0000371989,1.205218e-7,0.85212,0.0007007722,0.1457988,0.0007689371,0.0003081638],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0002363541,0.0001871303,0.9934239,0.0005299986,0.0008290925,0.0004631888,0.000002421077,0.00007230466,0.004255568],"genre_scores_gemma":[0.02818695,0.00009909301,0.9686414,0.002427112,0.0003046973,0.00002631277,0.000006622306,0.00002204209,0.0002857739],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.387247,"threshold_uncertainty_score":0.9999415,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05977082222996047,"score_gpt":0.2969365977878846,"score_spread":0.2371657755579241,"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."}}