{"id":"W7320307","doi":"10.1007/3-540-45657-0_41","title":"ΧChek: A Multi-valued Model-Checker","year":2002,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":28,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Toronto","funders":"","keywords":"Negation; Model checking; Computer science; Computation tree logic; CTL*; Algorithm; Theoretical computer science; Discrete mathematics; Programming language; 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":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.001578442,0.0006864353,0.0006115418,0.0009134297,0.000299911,0.0005540859,0.005087136,0.0005561474,0.00003405925],"category_scores_gemma":[0.0002186617,0.0006494776,0.0002011764,0.0007702415,0.0008258334,0.001085117,0.00163855,0.001196911,0.0001867609],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0005167953,"about_ca_system_score_gemma":0.000388069,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001033276,"about_ca_topic_score_gemma":0.000009934996,"domain_scores_codex":[0.9949647,0.00006911708,0.0007272898,0.002033069,0.001326681,0.0008791433],"domain_scores_gemma":[0.9963458,0.00009863448,0.0004197572,0.002563869,0.000328153,0.0002438384],"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.00000547885,0.00008079728,0.00001525745,0.00005498515,0.00001612694,0.0000563683,0.001854481,0.1695771,0.0001662872,0.384305,0.00005481968,0.4438133],"study_design_scores_gemma":[0.0002609231,0.00007283785,0.00003337332,0.0001563637,0.000007409882,0.0000492916,5.293897e-8,0.936735,0.001518513,0.05998993,0.0004878654,0.0006884455],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.00001877747,0.0003357192,0.9916758,0.0001669066,0.001634146,0.0004970703,0.000004853978,0.000337636,0.005329118],"genre_scores_gemma":[0.004617682,0.00006745017,0.9923386,0.001251301,0.0002440803,0.00001895912,0.000002873187,0.00005033036,0.001408705],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.7671579,"threshold_uncertainty_score":0.9995956,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0641780889293681,"score_gpt":0.3000164506333427,"score_spread":0.2358383617039746,"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."}}