{"id":"W2143208164","doi":"10.1145/1278480.1278498","title":"An effective guidance strategy for abstraction-guided simulation","year":2007,"lang":"en","type":"article","venue":"Proceedings - ACM IEEE Design Automation Conference","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":46,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of British Columbia","funders":"","keywords":"Computer science; Assertion; Abstraction; Formal verification; Model checking; Functional verification; State (computer science); Formal methods; Theoretical computer science; Distributed computing; Computer engineering; Programming language","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.001148236,0.0009960149,0.0007353006,0.0007808647,0.0007335243,0.001267432,0.001345262,0.001369698,0.004638767],"category_scores_gemma":[0.006724562,0.0004665547,0.0005771217,0.0004330666,0.001301827,0.001671022,0.002880488,0.00191008,0.001215864],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0007304337,"about_ca_system_score_gemma":0.001583619,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002098265,"about_ca_topic_score_gemma":0.002305102,"domain_scores_codex":[0.9985852,0.0004313914,0.00007045509,0.0001966928,0.0005693232,0.0001469143],"domain_scores_gemma":[0.9979352,0.0009238962,0.0001477989,0.0005342466,0.0003159193,0.0001430216],"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.0003911451,0.0001588417,0.001135267,0.0001816335,0.00004631571,0.0003942437,0.0008628041,0.3756145,0.04377215,0.3704057,0.005358734,0.2016788],"study_design_scores_gemma":[0.00005200725,0.0001082839,0.000102951,0.00003474445,0.0000178791,0.00008079029,0.00007156312,0.8931796,0.009153578,0.0865659,0.01060926,0.00002339014],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.006522391,0.00006482717,0.9880632,0.0002246852,0.00003867535,0.00006662833,0.00001674163,0.001215049,0.003787882],"genre_scores_gemma":[0.4365346,0.0002145571,0.5572732,0.0002602425,0.0000430225,0.0002864017,0.0001065849,0.0003974755,0.004883906],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.004638767,"threshold_uncertainty_score":0.01551819,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1434452489782713,"score_gpt":0.4035506928856112,"score_spread":0.2601054439073399,"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."}}