{"id":"W4248107954","doi":"10.1109/dasc.2007.24","title":"Using Atoms to Simplify Distributed Programs Checking","year":2007,"lang":"en","type":"article","venue":"","topic":"Distributed systems and fault tolerance","field":"Computer Science","cited_by":9,"is_retracted":false,"has_abstract":true,"ca_institutions":"Concordia University","funders":"","keywords":"Debugging; Computer science; Model checking; State (computer science); Programming language; Code (set theory); State space; Space (punctuation); Program analysis; Theoretical computer science; Operating system; Mathematics","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.00528661,0.0008223648,0.00153701,0.001253878,0.001206582,0.002308135,0.003586842,0.001561615,0.002938959],"category_scores_gemma":[0.02985309,0.001279946,0.002222652,0.001137532,0.005855587,0.007851423,0.005525173,0.004231784,0.000499898],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001594995,"about_ca_system_score_gemma":0.002300222,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003740579,"about_ca_topic_score_gemma":0.003647804,"domain_scores_codex":[0.9909884,0.003016469,0.0005798905,0.001496572,0.003104592,0.0008140266],"domain_scores_gemma":[0.9669901,0.01998463,0.001608548,0.00914109,0.002025182,0.0002505269],"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.0007299553,0.0001510155,0.003027152,0.0004172739,0.0001706901,0.0008262441,0.001155376,0.2178203,0.0244193,0.6380256,0.001919273,0.1113378],"study_design_scores_gemma":[0.000130035,0.0001399272,0.0003650546,0.00008999069,0.0001213797,0.0001667664,0.00008222694,0.4893074,0.03719816,0.4659545,0.006377278,0.00006733438],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02194462,0.00009269684,0.9753015,0.0002001684,0.00002503763,0.00006230189,0.00006495216,0.001308163,0.001000623],"genre_scores_gemma":[0.4257894,0.0002670767,0.5708544,0.0002287336,0.00006839338,0.0002496126,0.0002321301,0.0005586905,0.001751476],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.00528661,"threshold_uncertainty_score":0.02795857,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05082159888865666,"score_gpt":0.3173149895915659,"score_spread":0.2664933907029092,"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."}}