{"id":"W4231603837","doi":"10.22215/etd/2013-09622","title":"Verification methodology for DEVS models","year":2013,"lang":"en","type":"dissertation","venue":"","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"Carleton University; Canadian Heritage; Library and Archives Canada","funders":"","keywords":"DEVS; Computer science; Humanities; Operating system; Art; Simulation; Modeling and 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.00412407,0.000943129,0.0006093854,0.001718871,0.0007966457,0.002235299,0.00171572,0.001015411,0.0088988],"category_scores_gemma":[0.009313537,0.0007568052,0.001931,0.0008105877,0.001337512,0.002881936,0.002418576,0.00169667,0.002332154],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001547977,"about_ca_system_score_gemma":0.003487563,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003100002,"about_ca_topic_score_gemma":0.004238519,"domain_scores_codex":[0.9958936,0.001635414,0.0003413657,0.0005733073,0.001256038,0.0003002644],"domain_scores_gemma":[0.9961046,0.001775505,0.000292792,0.0008402832,0.0008675898,0.0001192406],"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.0001050092,0.000108512,0.001055694,0.0007640251,0.0001377609,0.00058906,0.0006509929,0.06484775,0.01086616,0.78615,0.006855172,0.1278697],"study_design_scores_gemma":[0.0001049372,0.00013804,0.0004123786,0.00049308,0.0001333511,0.000542425,0.0003053629,0.3679574,0.03096523,0.3967288,0.2021478,0.00007123031],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.002472895,0.0002675516,0.9867347,0.0003246681,0.00007301735,0.0001650542,0.0002622524,0.001767689,0.007932024],"genre_scores_gemma":[0.2205894,0.001040226,0.7565702,0.0003499863,0.0001038358,0.0007316237,0.001355779,0.0009292912,0.01832965],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.0088988,"threshold_uncertainty_score":0.02976942,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.2037950846033016,"score_gpt":0.3929987808864797,"score_spread":0.1892036962831781,"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."}}