{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003489098,0.001192498,0.002162281,0.001613638,0.001061103,0.004368853,0.003336555,0.001309069,0.004760863],"category_scores_gemma":[0.01432338,0.001326778,0.002505447,0.001775304,0.002415236,0.008095108,0.003498824,0.003554654,0.0008767312],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001716933,"about_ca_system_score_gemma":0.002157668,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00195077,"about_ca_topic_score_gemma":0.004894592,"domain_scores_codex":[0.9935622,0.002361452,0.0003911726,0.0007267714,0.002417309,0.0005410564],"domain_scores_gemma":[0.9888225,0.007563618,0.0005492087,0.00203694,0.0008323213,0.0001954628],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00105423,0.0003552783,0.001314359,0.0006331331,0.0002078933,0.0004536375,0.0003865306,0.3697397,0.02488716,0.3743781,0.003912473,0.2226774],"study_design_scores_gemma":[0.00009913,0.00004886551,0.00005190765,0.00004559703,0.0000369324,0.00006266562,0.00005296638,0.7773232,0.01539824,0.2056405,0.00120431,0.00003574228],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.02308448,0.0001233295,0.9709412,0.0001825969,0.00005708314,0.00006352472,0.0001319478,0.003286254,0.002129574],"genre_scores_gemma":[0.4643552,0.0001226807,0.5328773,0.00009273888,0.00003066673,0.0001592735,0.0003015178,0.0005461386,0.001514599],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.004760863,"threshold_uncertainty_score":0.01845229,"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."}}