{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.006785461,0.0009332271,0.000785566,0.001083688,0.0010255,0.0031085,0.00337851,0.001712623,0.002968361],"category_scores_gemma":[0.02651184,0.001286339,0.001558012,0.0006442088,0.004283243,0.005184376,0.002732646,0.003047675,0.0004872968],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002384825,"about_ca_system_score_gemma":0.002999136,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003875402,"about_ca_topic_score_gemma":0.002996559,"domain_scores_codex":[0.9915189,0.003063747,0.000601029,0.0006738387,0.003447437,0.0006949833],"domain_scores_gemma":[0.9704347,0.02053062,0.001458362,0.004726333,0.002531025,0.0003189734],"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.0004335261,0.0002766017,0.001178738,0.0006464564,0.0001345762,0.0005914426,0.001256014,0.2161223,0.01769345,0.6876928,0.00212698,0.07184713],"study_design_scores_gemma":[0.0002569223,0.0001152058,0.0002845197,0.0001314589,0.00008515215,0.0001351229,0.0001282703,0.4720013,0.02979496,0.4900662,0.00695097,0.00004990084],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.03025162,0.0002257572,0.9641095,0.0004776797,0.00009073966,0.0001262198,0.0001250013,0.001705125,0.00288825],"genre_scores_gemma":[0.8145903,0.0004371335,0.1804034,0.0002128595,0.0001077375,0.0003020042,0.0004701236,0.0004028608,0.003073753],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.006785461,"threshold_uncertainty_score":0.03588539,"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."}}