{"id":"W1493872864","doi":"10.1007/11817963_27","title":"EverLost: A Flexible Platform for Industrial-Strength Abstraction-Guided Simulation","year":2006,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Simulation Techniques and Applications","field":"Decision Sciences","cited_by":3,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of British Columbia","funders":"","keywords":"Computer science; Abstraction; Verilog; Heuristics; Programming language; Abstraction layer; Model checking; Computer architecture; Embedded system; Software engineering; Software; Operating system; Field-programmable gate array","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.0006577282,0.001076222,0.0006863408,0.0005132278,0.000410073,0.001059443,0.00282531,0.0009830737,0.01665247],"category_scores_gemma":[0.001639125,0.0007563243,0.0008632084,0.0003652963,0.0005165189,0.00135081,0.001989554,0.001772528,0.003713053],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0003584151,"about_ca_system_score_gemma":0.0007004297,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001465355,"about_ca_topic_score_gemma":0.002053676,"domain_scores_codex":[0.999571,0.00007658291,0.00003431355,0.00006285257,0.0002037878,0.00005144103],"domain_scores_gemma":[0.9993752,0.0002309931,0.00004179011,0.0001995226,0.00009095101,0.0000616402],"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.001196457,0.000422632,0.002729732,0.0006565377,0.000305284,0.0005103961,0.0005400965,0.5373866,0.06725235,0.05708784,0.04945831,0.2824538],"study_design_scores_gemma":[0.000143555,0.000103361,0.0003126738,0.00003229886,0.00004449565,0.0001197531,0.00002123741,0.9052519,0.02863956,0.01562016,0.04966027,0.00005082517],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.00998559,0.0001055408,0.9273864,0.00007761885,0.00009489042,0.00009604267,0.0004188429,0.05235056,0.009484478],"genre_scores_gemma":[0.3548123,0.0004795175,0.600777,0.0003379744,0.00006596142,0.0006077361,0.003722233,0.01707509,0.02212219],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01665247,"threshold_uncertainty_score":0.05570805,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1846531065088161,"score_gpt":0.4042191881324954,"score_spread":0.2195660816236793,"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."}}