The use of hoare logic in the verification of horizontal microprograms.
Subrata DasguptaAlan WagnerPublished in: Int. J. Parallel Program. (1984)
Keyphrases
- asynchronous circuits
- verification method
- model checking
- bounded model checking
- model checker
- modal logic
- formal verification
- delay insensitive
- classical logic
- predicate logic
- computational properties
- face recognition
- automated reasoning
- information retrieval
- epistemic logic
- nonmonotonic logics
- logic programming
- signature verification
- multi valued
- temporal logic
- defeasible logic
- expressive power
- database
- website
- social networks
- dynamic logic
- concurrent systems
- data sets
- real time