{"id":"W4256605373","doi":"10.7873/date.2015.0331","title":"Automated Rectification Methodologies to Functional State-Space Unreachability","year":2015,"lang":"en","type":"article","venue":"Design, Automation & Test in Europe Conference & Exhibition (DATE), 2015","topic":"Fault Detection and Control Systems","field":"Engineering","cited_by":4,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Computer science; Reachability; State (computer science); Debugging; Set (abstract data type); Automation; State space; Process (computing); Task (project management); Model checking; Formal verification; Theoretical computer science; Computer engineering; Algorithm; Programming language; Mathematics; Systems engineering; Engineering","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.001974534,0.001325014,0.0007933835,0.002171648,0.0007024485,0.001184944,0.002218661,0.0009671753,0.005940391],"category_scores_gemma":[0.008556967,0.0007016312,0.001225524,0.001085262,0.001942783,0.002010763,0.001986105,0.001703972,0.000883271],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0009928945,"about_ca_system_score_gemma":0.001596709,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002196668,"about_ca_topic_score_gemma":0.00203791,"domain_scores_codex":[0.9974511,0.0008161289,0.0001580285,0.000434214,0.0009803713,0.0001601509],"domain_scores_gemma":[0.9956316,0.001977136,0.0005438792,0.001172978,0.0006325827,0.00004184868],"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.0001313856,0.0001416592,0.0008250871,0.0005961425,0.00006183847,0.0003956215,0.0007729805,0.2435937,0.01953597,0.1097577,0.002579475,0.6216084],"study_design_scores_gemma":[0.00005133301,0.0001805899,0.0003308608,0.0001338598,0.00004778524,0.000300367,0.0001541471,0.8737772,0.02521312,0.08289887,0.01687025,0.00004164692],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.003716707,0.0002259043,0.9930634,0.00007584424,0.00001450706,0.00006749857,0.00002085249,0.001609935,0.001205347],"genre_scores_gemma":[0.2308637,0.0005519419,0.7643719,0.0001223253,0.00004245672,0.0002484271,0.000204148,0.0004358481,0.003159296],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.005940391,"threshold_uncertainty_score":0.01987255,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1615082697552232,"score_gpt":0.326432760432717,"score_spread":0.1649244906774938,"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."}}