{"id":"W4213020116","doi":"10.1007/978-3-642-21827-9_5","title":"Model Checking Commitment Protocols","year":2011,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"Concordia University","funders":"","keywords":"Computer science; Model checking; Protocol (science); Temporal logic; Modalities; Communications protocol; Programming language; Theoretical computer science; Computer network","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":["metaepi_narrow","open_science"],"consensus_categories":[],"category_scores_codex":[0.001838698,0.0005579087,0.0005183867,0.0006907082,0.0002751295,0.0004618412,0.005486848,0.0003680357,0.00001870122],"category_scores_gemma":[0.00009802729,0.0005163118,0.0001354635,0.0004754669,0.0006261178,0.0009621402,0.001891057,0.00091113,0.00007091061],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000476649,"about_ca_system_score_gemma":0.0006050007,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001045364,"about_ca_topic_score_gemma":0.00001168755,"domain_scores_codex":[0.99594,0.00005289331,0.00066242,0.00156675,0.001072129,0.0007057543],"domain_scores_gemma":[0.9964731,0.0001308435,0.0004601965,0.002482736,0.0002707019,0.0001824249],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000006265582,0.00004087892,0.00001650336,0.00005880397,0.000006985025,0.00001713743,0.001122607,0.02924272,0.0001332229,0.2758086,0.00001472779,0.6935316],"study_design_scores_gemma":[0.0001308635,0.0001088028,0.00002803053,0.0003363696,0.000003153278,0.00002255672,2.739942e-8,0.6845908,0.003310591,0.310039,0.0009835262,0.0004462427],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.000004839686,0.00006842475,0.9769999,0.0001388545,0.0007680804,0.005048936,0.000002642629,0.0002470503,0.01672129],"genre_scores_gemma":[0.005027597,0.00001044498,0.9927413,0.0008304999,0.0001902724,0.0007405195,0.000001914658,0.00003784037,0.0004196426],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.6930853,"threshold_uncertainty_score":0.999894,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.09944316654341848,"score_gpt":0.327938671029536,"score_spread":0.2284955044861175,"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."}}