{"id":"W2603330110","doi":"10.1007/s00165-017-0426-2","title":"Simulation relations for fault-tolerance","year":2017,"lang":"en","type":"article","venue":"Formal Aspects of Computing","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":true,"ca_institutions":"McMaster University","funders":"Fondo para la Investigación Científica y Tecnológica","keywords":"Liveness; Fault tolerance; Computer science; Software fault tolerance; Theory of computation; Distributed computing; Fault coverage; Fault model; Relation (database); Fault (geology); Reliability engineering; Theoretical computer science; Algorithm; Data mining; Engineering","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.002965776,0.0007705765,0.0004152556,0.001025226,0.0007295538,0.001543932,0.001108052,0.0008652061,0.0033435],"category_scores_gemma":[0.006125297,0.0003609565,0.001179107,0.0006478226,0.004549775,0.0031916,0.001613646,0.001966405,0.000554301],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001427512,"about_ca_system_score_gemma":0.0009177375,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001410264,"about_ca_topic_score_gemma":0.0009767578,"domain_scores_codex":[0.9963626,0.001419909,0.0003680224,0.0005992316,0.0009261642,0.0003241155],"domain_scores_gemma":[0.993686,0.003663546,0.0006287557,0.001168005,0.0006879304,0.000165774],"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.00004815205,0.00002501256,0.0003818432,0.00005754939,0.00001801745,0.0000959685,0.0003499051,0.04262083,0.004948865,0.9453267,0.0003005411,0.00582646],"study_design_scores_gemma":[0.00003832746,0.0001112267,0.0002610235,0.00006013413,0.00004244345,0.0002059732,0.0001403493,0.2096963,0.01532766,0.7534516,0.02062932,0.00003566324],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02442018,0.0002243957,0.9687584,0.000222489,0.00004783979,0.00007342949,0.00006606187,0.0005655013,0.005621737],"genre_scores_gemma":[0.7683449,0.0003503157,0.2267557,0.0001956499,0.00008822232,0.0003254331,0.0002020758,0.0002735964,0.003464016],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.0033435,"threshold_uncertainty_score":0.01568472,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04085635996822392,"score_gpt":0.345178802840271,"score_spread":0.3043224428720471,"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."}}