On Verifying Hennessy-Milner Logic with Recursion at Runtime.
Adrian FrancalanzaLuca AcetoAnna IngólfsdóttirPublished in: RV (2015)
Keyphrases
- logic programming
- modal logic
- multi valued
- predicate logic
- deductive databases
- data sets
- complex objects
- model checking
- probabilistic logic
- classical logic
- computational properties
- asynchronous circuits
- verification method
- social networks
- automated reasoning
- databases
- logical framework
- digital circuits
- real time
- dynamic logic