{"id":"W187824920","doi":"10.5555/2346616.2346642","title":"On the verification of hybrid DEVS models","year":2012,"lang":"en","type":"article","venue":"","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":true,"ca_institutions":"Carleton University","funders":"","keywords":"Correctness; DEVS; Computer science; Automaton; Formalism (music); Hybrid system; Hybrid automaton; Formal verification; Model checking; Distributed computing; Theoretical computer science; Modeling and simulation; Algorithm; Simulation","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.002693126,0.0006609468,0.0007130944,0.0008894899,0.0004686489,0.001164004,0.00125155,0.0006442273,0.002143194],"category_scores_gemma":[0.006574749,0.0004646513,0.001796213,0.000556561,0.002121449,0.001639568,0.001878687,0.001012911,0.0003786038],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0009148825,"about_ca_system_score_gemma":0.001169608,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002510679,"about_ca_topic_score_gemma":0.001525634,"domain_scores_codex":[0.9974532,0.0007327994,0.0002179577,0.0003797387,0.001048043,0.0001682789],"domain_scores_gemma":[0.9950547,0.00312603,0.0003249238,0.0008857075,0.0005354299,0.00007320025],"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.0003281306,0.00007482384,0.002496947,0.0006984975,0.0001613827,0.001077093,0.0004763383,0.3404881,0.04156127,0.5421274,0.001538679,0.06897143],"study_design_scores_gemma":[0.00005431681,0.0000787473,0.0002885254,0.0000850881,0.00004538214,0.0002685406,0.00003807582,0.8599887,0.02474661,0.102761,0.01161906,0.00002583637],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.009696891,0.0001707221,0.9868786,0.00008056034,0.00003509011,0.00004333108,0.0001359724,0.001082537,0.001876291],"genre_scores_gemma":[0.5743165,0.0006114449,0.4200669,0.0001696094,0.00007502244,0.0003076319,0.0006894897,0.0003489398,0.003414512],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.002693126,"threshold_uncertainty_score":0.01424283,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.07498653315555846,"score_gpt":0.2860850792114299,"score_spread":0.2110985460558714,"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."}}