{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.006928739,0.001019803,0.0005979982,0.001717838,0.0008802485,0.002067025,0.002245002,0.001045047,0.003144016],"category_scores_gemma":[0.01432044,0.0008694673,0.002718604,0.0009804543,0.002294106,0.003045594,0.002069316,0.002613263,0.0008622434],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001602807,"about_ca_system_score_gemma":0.004945434,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0060896,"about_ca_topic_score_gemma":0.003933131,"domain_scores_codex":[0.9927845,0.00217626,0.0005562033,0.001164866,0.002929013,0.0003891362],"domain_scores_gemma":[0.993778,0.00275953,0.000662024,0.001140806,0.001522543,0.0001371609],"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.0001112537,0.00006279741,0.0009949201,0.0004724399,0.0001001018,0.0006866452,0.0005288564,0.2189158,0.01841411,0.6791224,0.002060978,0.07852951],"study_design_scores_gemma":[0.0000671444,0.00009546567,0.0002487066,0.0001272056,0.00008736627,0.0003222139,0.00006338677,0.7874977,0.02506983,0.1584803,0.0278828,0.00005788563],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0007175405,0.00002519682,0.9979138,0.00004340437,0.00000987439,0.00003922357,0.00004861893,0.0008231123,0.0003791765],"genre_scores_gemma":[0.09789453,0.0001836605,0.9000495,0.00007717083,0.00003253694,0.0002444416,0.0003132067,0.0002561067,0.0009488812],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.006928739,"threshold_uncertainty_score":0.03664315,"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."}}