Model Checking Lattices: Using and reasoning about information orders for abstraction.

Scott Hazelhurst Carl-Johan H. Seger

Published in: Log. J. IGPL (1999)

Keyphrases

model checking
finite state
temporal logic
search algorithm
information flow
knowledge base
test cases
formal specification
formal verification
temporal properties
verification method
symbolic model checking
process algebra
computation tree logic