Mechanical Verification of Mutually Recursive Procedures.

Peter V. Homeier David F. Martin

Published in: CADE (1996)

Keyphrases

model checking
concurrent systems
formal analysis
search procedures
asynchronous circuits
verification method
databases
neural network
real world
search engine
case study
database systems
multiscale
recursive algorithm
recursive queries
functional verification