A Temporal Logic for Higher-Order Functional Programs.
Yuya OkuyamaTakeshi TsukadaNaoki KobayashiPublished in: SAS (2019)
Keyphrases
- temporal logic
- functional programs
- higher order
- term rewriting systems
- model checking
- modal logic
- logic programs
- satisfiability problem
- functional language
- transition systems
- mazurkiewicz traces
- computation tree logic
- temporal knowledge
- verification method
- reactive systems
- databases
- predicate logic
- belief revision
- linear temporal logic
- functional programming
- logic programming
- general purpose
- formal specification language
- relational databases