Deductive Verification of Pipelined Machines Using First-Order Quantification.
Sandip RayWarren A. Hunt Jr.Published in: CAV (2004)
Keyphrases
- model checking
- higher order
- real time
- information systems
- data flow
- face verification
- formal methods
- stochastic dominance
- artificial intelligence
- formal verification
- first order logic
- signature verification
- learning machines
- formal analysis
- abductive inference
- concurrent systems
- explanation based learning
- case study
- information retrieval
- machine learning
- databases