{"id":"W1992958726","doi":"10.1016/j.mcm.2010.03.039","title":"Using simulation to test formally verified protocols in complex environments","year":2010,"lang":"en","type":"article","venue":"Mathematical and Computer Modelling","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Alberta; University of Prince Edward Island","funders":"","keywords":"Computer science; Test (biology); Geology","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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0004124386,0.0001731388,0.0002582516,0.0001299523,0.0001009932,0.0002343056,0.0004642585,0.00008030038,0.000005791401],"category_scores_gemma":[0.00001543514,0.0001588335,0.0000338601,0.000196404,0.0000197023,0.0003698615,0.0003873546,0.0001941276,0.00002517038],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002847296,"about_ca_system_score_gemma":0.00001506858,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000003905185,"about_ca_topic_score_gemma":0.000001327399,"domain_scores_codex":[0.9985017,0.00002808608,0.000464396,0.0003980563,0.0002924832,0.0003153139],"domain_scores_gemma":[0.9991487,0.000206619,0.00007204058,0.0004112285,0.00002120108,0.0001402349],"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.00000347816,0.0001211582,0.00007123372,0.00004945517,0.000002545929,0.000004596132,0.0006606033,0.9764433,0.002236882,0.01651453,0.000001367932,0.003890856],"study_design_scores_gemma":[0.0002727958,0.00005415238,0.00004539639,0.0001082492,0.000001827945,0.00001597472,0.000003316309,0.9863896,0.0001556195,0.01255479,0.0002078879,0.0001903533],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1419738,0.000001468144,0.8558663,0.0000373217,0.00004195597,0.001913033,6.966408e-7,0.00005253054,0.0001128908],"genre_scores_gemma":[0.5018045,1.104119e-7,0.4979352,0.00007609064,0.00004513887,0.0001250086,4.284481e-7,0.000007517302,0.000005994747],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.3598307,"threshold_uncertainty_score":0.6477041,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1190583034143709,"score_gpt":0.3191707229782197,"score_spread":0.2001124195638488,"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."}}