Sign in
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