{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0003635355,0.0001359933,0.0002515237,0.00007670982,0.00004887707,0.00005504045,0.0006409785,0.00008305311,3.659347e-7],"category_scores_gemma":[0.0005122089,0.0001155654,0.00006459006,0.0002407626,0.00002866224,0.0003200974,0.00005976687,0.00005355725,0.000003042868],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00008681102,"about_ca_system_score_gemma":0.00006032528,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002448476,"about_ca_topic_score_gemma":6.932736e-8,"domain_scores_codex":[0.9989363,0.00005742735,0.0003020712,0.0003151215,0.0001697894,0.0002192915],"domain_scores_gemma":[0.9982927,0.0005189426,0.0001342289,0.0006766606,0.0003221172,0.0000552796],"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.000002430821,0.00002104449,0.00001919418,0.0004494663,0.000008159855,6.24778e-8,0.00002660475,0.9678328,0.0007551087,0.02896047,0.0001933638,0.001731323],"study_design_scores_gemma":[0.0002072717,0.00002995965,0.0001264119,0.00003242475,0.000004517563,0.000001605173,0.00004929366,0.9962568,0.002470708,0.0006739839,0.00001293271,0.0001341089],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0002246392,0.00007774177,0.9976478,0.00001983033,0.0001702655,0.0008082379,0.00005197135,0.0009674341,0.00003212793],"genre_scores_gemma":[0.285648,3.383516e-7,0.7137578,0.000005936303,0.00000996799,0.0004723365,0.00003325761,0.000009825107,0.00006253457],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.2854233,"threshold_uncertainty_score":0.4712621,"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."}}