3 search results for "tag:"category: Miscellaneous/Extracted Programs/Decision procedures""

keyword: BDD keyword: binary decision diagrams keyword: classical logic keyword: propositional logic keyword: validity keyword: satisfiability keyword: model checking keyword: reflection category: Computer Science/Decision Procedures and Certified Algorithms/Decision procedures category: Miscellaneous/Extracted Programs/Decision procedures date: May-July 1999

keyword: BDD keyword: BDT keyword: finite sets keyword: model checking keyword: binary decision diagrams category: Computer Science/Decision Procedures and Certified Algorithms/Decision procedures category: Miscellaneous/Extracted Programs/Decision procedures

keyword: intuitionistic logic keyword: proof search keyword: proof-as-programs keyword: correct-by-construction keyword: program verification keyword: program extraction category: Mathematics/Logic/Foundations category: Computer Science/Decision Procedures and Certified Algorithms/Decision procedures category: Miscellaneous/Extracted Programs/Decision procedures