{"id":"W1570118157","doi":"10.1007/3-540-44685-0_30","title":"Efficient Multiple-Valued Model-Checking Using Lattice Representations","year":2001,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":41,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Toronto","funders":"","keywords":"Implementation; Computer science; Lattice (music); Model checking; Theoretical computer science; Reuse; Binary decision diagram; Distributive lattice; Representation (politics); Distributive property; Software implementation; Symbolic trajectory evaluation; Algorithm; Algebra over a field; Software; Mathematics; Programming language; Pure 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.001810201,0.0005533975,0.00050257,0.001069691,0.0005339057,0.0005895261,0.003372835,0.0003558838,0.000009901015],"category_scores_gemma":[0.0005110191,0.0005587209,0.0001652319,0.001148691,0.0006632567,0.0005646695,0.001513167,0.0009095678,0.00002845925],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0006736169,"about_ca_system_score_gemma":0.0005957633,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00004895893,"about_ca_topic_score_gemma":0.00001910705,"domain_scores_codex":[0.9950581,0.00009362937,0.000783276,0.001891589,0.00137447,0.000798934],"domain_scores_gemma":[0.9960889,0.0004962613,0.0005202069,0.00226724,0.0004264223,0.0002010203],"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.000003917946,0.00002517146,0.00003014466,0.00001833991,0.000006350662,0.00002433448,0.0007842656,0.8693443,0.0003575385,0.04417194,0.000001476343,0.08523224],"study_design_scores_gemma":[0.0002199419,0.00003521895,0.00005046266,0.0002430654,0.00001378823,0.00009030035,3.208441e-7,0.9506485,0.001212672,0.0468366,0.00008218252,0.0005669759],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0006625706,0.000172367,0.9918573,0.0001405282,0.001657631,0.0005700904,0.000004398403,0.0002623331,0.004672818],"genre_scores_gemma":[0.05752608,0.00001172545,0.9415287,0.0004554188,0.0002571938,0.0000103892,0.000003301136,0.00004280726,0.0001643789],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.08466526,"threshold_uncertainty_score":0.9996864,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.07621353515016023,"score_gpt":0.3371761600860504,"score_spread":0.2609626249358902,"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."}}