{"id":"W1965163560","doi":"10.1007/11591191_31","title":"Model Checking Abstract State Machines with Answer Set Programming","year":2005,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":15,"is_retracted":false,"has_abstract":false,"ca_institutions":"Simon Fraser University","funders":"","keywords":"Answer set programming; Computer science; Abstract state machines; Model checking; Programming language; Set (abstract data type); State (computer science); Bounded function; Theoretical computer science; Logic programming; Logic program; Property (philosophy); Stable model semantics; Finite-state machine; Semantics (computer science); Mathematics","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.001482099,0.0006420414,0.0004976565,0.0007070761,0.0002919618,0.0009263966,0.003380409,0.0002520687,0.00001102572],"category_scores_gemma":[0.00005451601,0.0005272053,0.00009883712,0.0006287582,0.0006374503,0.001610141,0.0007988574,0.001065198,0.000023564],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000342307,"about_ca_system_score_gemma":0.0005458948,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001928,"about_ca_topic_score_gemma":0.0001130516,"domain_scores_codex":[0.9956676,0.00002829304,0.0005931187,0.001637018,0.001241981,0.0008319739],"domain_scores_gemma":[0.9972866,0.0001443176,0.000477344,0.001589251,0.0003157196,0.0001868061],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000007010176,0.00001556707,0.00002366107,0.00003134683,0.000007009364,0.00002436697,0.001066324,0.2626706,0.00007035245,0.005422944,0.000002753311,0.7306581],"study_design_scores_gemma":[0.0001742764,0.0001109278,0.0001261099,0.0003208639,0.000006454536,0.00007983535,1.295797e-7,0.963904,0.0009101603,0.03275772,0.0009266074,0.0006829583],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0003240985,0.0001723468,0.9952286,0.0003129141,0.0006265486,0.0005190997,0.000006056343,0.0003070235,0.0025033],"genre_scores_gemma":[0.04323792,0.0000226918,0.9555178,0.000503861,0.0002685297,0.00001722846,0.000005474507,0.00004913348,0.000377326],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.729975,"threshold_uncertainty_score":0.999718,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03801049610129808,"score_gpt":0.2940201923951146,"score_spread":0.2560096962938165,"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."}}