{"id":"W1976739966","doi":"10.1016/s0950-5849(03)00066-1","title":"Formal verification of dependable distributed protocols","year":2003,"lang":"en","type":"article","venue":"Information and Software Technology","topic":"Distributed systems and fault tolerance","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":false,"ca_institutions":"Concordia University","funders":"","keywords":"Computer science; Correctness; Dependability; Formal verification; Formal methods; Modular design; Distributed computing; Runtime verification; Timestamp; Protocol (science); Model checking; Formal specification; Software engineering; Embedded system; Programming language; Real-time computing","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.0001996265,0.00007289584,0.0001267992,0.0001417339,0.00008380617,0.00005232811,0.0002585828,0.0001256116,0.000005345821],"category_scores_gemma":[0.0001733622,0.0000664776,0.00001836537,0.0004573065,0.00005368912,0.001463346,0.00005093416,0.00007758397,0.00001540252],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001660655,"about_ca_system_score_gemma":0.00005034563,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000005764721,"about_ca_topic_score_gemma":0.00000119237,"domain_scores_codex":[0.9992878,0.00001341148,0.000342123,0.00008576642,0.0001106534,0.0001602026],"domain_scores_gemma":[0.9992895,0.00001415792,0.0001943805,0.0003083905,0.0001629419,0.00003059699],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.000006613495,0.00003717886,0.006939263,0.0001097417,0.000009979792,9.61618e-7,0.0002751809,0.00006383647,0.00009622907,0.8149971,0.0004825973,0.1769813],"study_design_scores_gemma":[0.00266975,0.0003996668,0.008904892,0.0001481165,0.000007522956,0.0002701691,0.0005539653,0.01285029,0.02926668,0.02351758,0.920848,0.0005634128],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.007954379,0.00002974488,0.9897127,0.0001271015,0.00004732023,0.001283216,0.00003518596,0.0003084622,0.0005019567],"genre_scores_gemma":[0.9689363,0.000004417316,0.03017023,0.00004186643,0.000002059439,0.0007915822,0.00004160567,0.000002016227,0.000009905474],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.960982,"threshold_uncertainty_score":0.2710878,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.00854388190667143,"score_gpt":0.237040090396112,"score_spread":0.2284962084894405,"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."}}