{"id":"W2110806620","doi":"10.1177/0037549711424424","title":"Principles of Discrete Event System Specification model verification","year":2011,"lang":"en","type":"article","venue":"SIMULATION","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":23,"is_retracted":false,"has_abstract":true,"ca_institutions":"Carleton University","funders":"","keywords":"DEVS; Computer science; Model checking; Formalism (music); Automaton; Formal verification; Discrete event simulation; Formal specification; Modeling and simulation; Formal methods; Theoretical computer science; Systems modeling; Programming language; Software engineering; 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.005183619,0.001663983,0.001343594,0.001896778,0.0008771999,0.004152137,0.003685555,0.002070834,0.006712579],"category_scores_gemma":[0.01046139,0.001275698,0.00299036,0.001738031,0.003491778,0.002969817,0.002300811,0.004418531,0.003681518],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001878138,"about_ca_system_score_gemma":0.004248533,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00341815,"about_ca_topic_score_gemma":0.001937017,"domain_scores_codex":[0.9942592,0.001362123,0.0005539891,0.0006462016,0.002869554,0.0003088396],"domain_scores_gemma":[0.9948393,0.002744245,0.0003558967,0.001151192,0.000820369,0.00008906953],"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.00002658986,0.0000463444,0.0002540073,0.0003387408,0.00007520129,0.0001744234,0.0002269624,0.03668255,0.00169249,0.9245403,0.002997849,0.03294458],"study_design_scores_gemma":[0.0001007135,0.00005814529,0.0001638274,0.0002910449,0.00006747944,0.0002543555,0.00007858029,0.1675268,0.005331052,0.7207868,0.1052874,0.00005364289],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0004409558,0.0003145821,0.9918972,0.0002984272,0.00006856669,0.0001736936,0.0001897532,0.0004352368,0.006181469],"genre_scores_gemma":[0.05446681,0.002398808,0.9329938,0.000421141,0.00023658,0.001763835,0.001105836,0.000300831,0.006312327],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.006712579,"threshold_uncertainty_score":0.02741396,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.144454379368252,"score_gpt":0.3207455792321893,"score_spread":0.1762911998639373,"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."}}