{"id":"W2129323560","doi":"10.1109/mtv.2008.22","title":"BackSpace: Moving Towards Reality","year":2008,"lang":"en","type":"article","venue":"","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":6,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of British Columbia","funders":"Semiconductor Research Corporation","keywords":"Debugging; Computer science; TRACE (psycholinguistics); Field-programmable gate array; Embedded system; Simple (philosophy); Chip; Software; Crash; System on a chip; Computer hardware; Computer architecture; Operating system","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.01058922,0.001393846,0.001024255,0.002056482,0.002478556,0.007866693,0.003551367,0.00470873,0.008521345],"category_scores_gemma":[0.02300163,0.001325861,0.001898351,0.0008373301,0.02455785,0.0334558,0.008203592,0.008382514,0.001833925],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003202459,"about_ca_system_score_gemma":0.002347978,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002665548,"about_ca_topic_score_gemma":0.001033343,"domain_scores_codex":[0.9912718,0.004017618,0.0003242372,0.001694361,0.002164107,0.0005277737],"domain_scores_gemma":[0.9832568,0.009767579,0.0005894562,0.00410614,0.001776122,0.0005039305],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00004498228,0.00002579924,0.0001848771,0.0001424553,0.00001369247,0.00006174962,0.001020483,0.003102452,0.0007444237,0.9734994,0.00154828,0.01961157],"study_design_scores_gemma":[0.00003258225,0.00008893974,0.00008864539,0.000154816,0.00001828957,0.0001400835,0.0005327351,0.01759566,0.001666479,0.9178323,0.06180464,0.00004483244],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01239344,0.003721668,0.9416285,0.01548046,0.0008164738,0.0000604171,0.00006569219,0.001202015,0.02463144],"genre_scores_gemma":[0.5297679,0.00512124,0.4442284,0.006164012,0.0009042008,0.0003357718,0.000271626,0.001123433,0.01208331],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01058922,"threshold_uncertainty_score":0.05600184,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.09068310219385438,"score_gpt":0.3310043747914069,"score_spread":0.2403212725975525,"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."}}