{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0005867461,0.0001572432,0.0001873232,0.00006829297,0.0001470423,0.0003060242,0.0007173683,0.00007488848,0.000006997619],"category_scores_gemma":[0.0000245103,0.0001366978,0.00006834215,0.001066717,0.00001962589,0.0003203956,0.0002299245,0.00009971599,0.0000756337],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00009854372,"about_ca_system_score_gemma":0.0000368164,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001454776,"about_ca_topic_score_gemma":0.00004094439,"domain_scores_codex":[0.9983011,0.0000168508,0.0003475462,0.0004160451,0.000322851,0.0005956475],"domain_scores_gemma":[0.9989654,0.00002653519,0.00007425201,0.0005306075,0.0001304143,0.0002727802],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"not_applicable","study_design_scores_codex":[0.0000295549,0.0004372246,0.02231841,0.0000722276,0.00007718155,0.0002643821,0.001254801,0.001279433,0.01109632,0.3960596,0.003483245,0.5636276],"study_design_scores_gemma":[0.001641358,0.0003472893,0.03374127,0.0003751596,0.00002065243,0.0002972912,0.0006086379,0.3281851,0.01953497,0.002768865,0.610352,0.002127436],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.07026082,0.00002964973,0.9255688,0.0001985767,0.0003437486,0.0002776808,0.000006863802,0.0003633594,0.002950488],"genre_scores_gemma":[0.9290872,2.487765e-7,0.07034978,0.0003064513,0.00009812866,0.000006069982,0.00001277593,0.000008724677,0.0001306663],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8588263,"threshold_uncertainty_score":0.5574375,"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."}}