Functional term rewriting systems towards symbolic model-checking.
Yohan BoichutJean-Michel CouvreurDuy-Tùng NguyênPublished in: Int. J. Crit. Comput. Based Syst. (2011)
Keyphrases
- symbolic model checking
- term rewriting systems
- model checking
- partial observability
- formal verification
- logic programs
- conformant planning
- binary decision diagrams
- functional programs
- symbolic representation
- model checker
- temporal logic
- functional language
- object oriented programming
- functional programming
- artificial intelligence
- finite state
- formal specification
- heuristic search
- relational databases
- high level