{"id":"W132560685","doi":"10.14236/ewic/vecos2007.9","title":"High Level Reduction Technique for Multiway Decision Graphs Based Model Checking","year":2007,"lang":"en","type":"article","venue":"Electronic workshops in computing","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":8,"is_retracted":false,"has_abstract":true,"ca_institutions":"Concordia University","funders":"","keywords":"Model checking; Reduction (mathematics); Computer science; Benchmark (surveying); Symbolic trajectory evaluation; VHDL; Construct (python library); Theoretical computer science; Binary decision diagram; Algorithm; Partial order reduction; Programming language; Field-programmable gate array; Mathematics; Embedded 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.0007864165,0.000789788,0.000803884,0.00126679,0.0005048458,0.0008838119,0.001321505,0.0006521085,0.00306765],"category_scores_gemma":[0.002385815,0.0005010319,0.00209198,0.0005931318,0.001118423,0.001243209,0.00147006,0.001999076,0.0005392992],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0009118284,"about_ca_system_score_gemma":0.001101282,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002252494,"about_ca_topic_score_gemma":0.002906134,"domain_scores_codex":[0.9986582,0.0003714068,0.00007169019,0.0001667726,0.0006079764,0.0001239723],"domain_scores_gemma":[0.9986726,0.0007708301,0.00006836031,0.0003364405,0.0001281837,0.00002365208],"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.0002841581,0.0002677685,0.001458198,0.0004694904,0.0002066787,0.0006548507,0.0004338084,0.5302155,0.05875903,0.2385698,0.002173341,0.1665074],"study_design_scores_gemma":[0.0000466493,0.00009782613,0.0001609205,0.00002831294,0.00006757407,0.0001187831,0.00002371485,0.8901644,0.02546248,0.07941242,0.004393088,0.00002378654],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.01001843,0.00006337321,0.9876,0.00007996972,0.00001912589,0.00007838229,0.00008497386,0.001012514,0.001043134],"genre_scores_gemma":[0.3305775,0.0001632056,0.6657483,0.0001184285,0.00002386177,0.0003802393,0.0005135488,0.0002656762,0.002209169],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.00306765,"threshold_uncertainty_score":0.01026231,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04068410385843022,"score_gpt":0.3310485316619173,"score_spread":0.2903644278034871,"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."}}