{"id":"W2073287202","doi":"10.1109/smc.2013.434","title":"A System-Level Approach for Model-Based Verification of Distributed Software Systems","year":2013,"lang":"en","type":"article","venue":"","topic":"Advanced Software Engineering Methodologies","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Calgary","funders":"","keywords":"Computer science; Component (thermodynamics); Distributed computing; Runtime verification; Model checking; Software system; Software; Formal verification; Algorithm; Programming language","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.002929834,0.0011726,0.0009370985,0.001519278,0.001017343,0.002215574,0.002529555,0.001622495,0.003867976],"category_scores_gemma":[0.007127088,0.001017661,0.002672667,0.001082745,0.001684727,0.002712952,0.002557301,0.003131139,0.001086278],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001488185,"about_ca_system_score_gemma":0.002302117,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002533379,"about_ca_topic_score_gemma":0.002901752,"domain_scores_codex":[0.9969741,0.001196513,0.0002733187,0.0003974048,0.0009699398,0.0001887422],"domain_scores_gemma":[0.9975868,0.001074534,0.0002001135,0.000731596,0.0003421284,0.00006470159],"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.0001389436,0.000181277,0.001394402,0.000566669,0.0002087352,0.0005756624,0.0004561151,0.5043331,0.02335535,0.3298869,0.002698645,0.1362042],"study_design_scores_gemma":[0.00003433395,0.00007664926,0.0001270579,0.00006691164,0.00005962339,0.000140985,0.00002991874,0.9241428,0.006889207,0.05833162,0.01007739,0.0000233873],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0004796562,0.00002125544,0.9986081,0.00003441027,0.000007838937,0.00005024439,0.00001668943,0.0004375501,0.0003444194],"genre_scores_gemma":[0.04385827,0.00008834485,0.9546803,0.00007738228,0.00001660196,0.0002783636,0.0001293785,0.0001387952,0.0007324716],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.003867976,"threshold_uncertainty_score":0.01549464,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.07516173875648956,"score_gpt":0.2716945509524651,"score_spread":0.1965328121959755,"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."}}