Deciding Full Branching Time Logic by Program Transformation.
Alberto PettorossiMaurizio ProiettiValerio SenniPublished in: LOPSTR (2009)
Keyphrases
- epistemic logic
- modal logic
- model checking
- temporal logic
- logic programming
- predicate logic
- temporal reasoning
- classical logic
- computer programs
- advanced research projects agency
- recursive programs
- functional programs
- programs written
- model checker
- transformation rules
- programming environment
- data sets
- default logic
- test cases
- multi agent systems
- bayesian networks
- website