A linear translation from CTL* to the first-order modal μ -calculus.
Sjoerd CranenJan Friso GrooteMichel A. ReniersPublished in: Theor. Comput. Sci. (2011)
Keyphrases
- transition systems
- linear temporal logic
- model checking
- temporal logic
- first order logic
- modal logic
- concurrent systems
- knowledge base
- computation tree logic
- bounded model checking
- machine translation
- expressive power
- higher order
- formal specification
- linear systems
- formal verification
- real numbers
- cardinal directions
- knowledge representation
- taylor series
- neural network