{"id":"W4231539220","doi":"10.1109/aspec.2007.39","title":"Checking Distributed Programs with Partially Ordered Atoms","year":2007,"lang":"en","type":"article","venue":"","topic":"Software System Performance and Reliability","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"Concordia University","funders":"","keywords":"Computer science; Correctness; Predicate (mathematical logic); Generality; Model checking; Semantics (computer science); Computation; Interleaving; Programming language; Theoretical computer science; Set (abstract data type); Algorithm","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.002949822,0.0009248675,0.001098585,0.001152141,0.001024319,0.00220774,0.002070982,0.001127126,0.001549614],"category_scores_gemma":[0.01203279,0.000916246,0.001729945,0.0009814033,0.003282504,0.003628585,0.002388564,0.001539186,0.0001956805],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001440433,"about_ca_system_score_gemma":0.002882587,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.007780414,"about_ca_topic_score_gemma":0.008809105,"domain_scores_codex":[0.9961004,0.00106955,0.0002702279,0.0007992883,0.001375647,0.0003848512],"domain_scores_gemma":[0.9866688,0.009322426,0.001404829,0.001522306,0.0008798721,0.0002017237],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0007187276,0.0002834007,0.01064259,0.0002519046,0.0002281218,0.0008102328,0.000522629,0.7993358,0.01931988,0.1247323,0.0008811491,0.04227322],"study_design_scores_gemma":[0.00006788174,0.00008597054,0.0003404442,0.00001318199,0.0000421035,0.0000589235,0.0000505215,0.936428,0.009609086,0.05276692,0.0005226851,0.00001429252],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2357682,0.00007010684,0.7590472,0.0002068848,0.00002429964,0.0001326712,0.0002327342,0.003172578,0.001345284],"genre_scores_gemma":[0.8028048,0.00006609476,0.1949697,0.00006771352,0.00002911975,0.0002202116,0.0005014008,0.0001912862,0.001149666],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.007780414,"threshold_uncertainty_score":0.01560032,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01245558559273583,"score_gpt":0.2371129342957586,"score_spread":0.2246573487030227,"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."}}