{"id":"W2035375594","doi":"10.1109/somet.2013.6645657","title":"A probabilistic verification framework of SysML activity diagrams","year":2013,"lang":"en","type":"article","venue":"","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":15,"is_retracted":false,"has_abstract":true,"ca_institutions":"Concordia University","funders":"","keywords":"Systems Modeling Language; Correctness; Probabilistic logic; Computer science; Activity diagram; Programming language; Probabilistic automaton; Model checking; Formal verification; Unified Modeling Language; Theoretical computer science; Prism; Algorithm; Artificial intelligence; Software","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.0003434363,0.00007881112,0.0001133273,0.00004836374,0.00003938843,0.00006699213,0.0005929056,0.00007697929,0.00005899965],"category_scores_gemma":[0.0005609749,0.00006635912,0.0000362084,0.0003945213,0.00006198099,0.0007293652,0.00009041421,0.0001040312,0.0001602096],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003725126,"about_ca_system_score_gemma":0.00003067084,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00009181776,"about_ca_topic_score_gemma":0.000001115073,"domain_scores_codex":[0.9991234,0.0001115012,0.0001834656,0.0002390962,0.0001979049,0.0001446448],"domain_scores_gemma":[0.9986711,0.0001612333,0.0001325078,0.0008381452,0.0001456652,0.00005131635],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00000195297,0.00009768682,0.0003276831,0.00003892708,0.000004696968,7.406148e-8,0.0002585691,0.00004408979,0.005754025,0.8350897,0.0001006556,0.1582819],"study_design_scores_gemma":[0.0001322333,0.0001752188,0.2000571,0.00005110942,0.000007351867,0.000004625047,0.00003309238,0.4975067,0.07892939,0.2224545,0.0003539636,0.0002946789],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1272212,0.00000941509,0.8691903,0.0002436793,0.0001989873,0.0003379564,2.94597e-7,0.0001277084,0.002670532],"genre_scores_gemma":[0.5366228,0.000002147345,0.4632219,0.00002493854,0.00001129429,0.00006342375,2.75406e-7,0.000002569668,0.00005070328],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.6126353,"threshold_uncertainty_score":0.2706046,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02380526310360453,"score_gpt":0.2817021583445533,"score_spread":0.2578968952409487,"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."}}