{"id":"W1506362155","doi":"10.1007/978-3-540-77966-7_1","title":"Simulation vs. Formal: Absorb What Is Useful; Reject What Is Useless","year":2008,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":6,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of British Columbia","funders":"","keywords":"Emulation; Complement (music); Computer science; Formal verification; Formal methods; Software engineering; Programming language; Psychology; Social psychology","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.006183201,0.0009142255,0.0009447595,0.0009765984,0.001327587,0.004902225,0.001268476,0.002390818,0.01141624],"category_scores_gemma":[0.01817207,0.00071719,0.0008065366,0.0008817338,0.01623612,0.01998633,0.003903392,0.004129361,0.002888265],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001848066,"about_ca_system_score_gemma":0.002012541,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000646037,"about_ca_topic_score_gemma":0.0009976127,"domain_scores_codex":[0.9957097,0.002498435,0.0001711178,0.000397707,0.0009719118,0.0002511118],"domain_scores_gemma":[0.983843,0.01094461,0.0007267465,0.003247449,0.0008258129,0.0004123964],"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.00002591912,0.00001833739,0.0001028528,0.00009325096,0.000009778784,0.00001264253,0.000589151,0.0006880927,0.0002939693,0.9822234,0.002427032,0.01351559],"study_design_scores_gemma":[0.0000136254,0.00002346661,0.0000650865,0.00006609299,0.00001130532,0.00004916858,0.0001928771,0.001562639,0.000541924,0.9769608,0.02050252,0.00001046162],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02164476,0.006084934,0.6649927,0.03798565,0.001768259,0.00009909769,0.000184448,0.00153338,0.2657067],"genre_scores_gemma":[0.7967963,0.004159952,0.1366982,0.005132976,0.001323844,0.0002832125,0.0002309818,0.001872952,0.05350154],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01141624,"threshold_uncertainty_score":0.03819108,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04014947275697075,"score_gpt":0.2964025478377471,"score_spread":0.2562530750807763,"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."}}