On using data abstractions for model checking refinements.

John Derrick Heike Wehrheim

Published in: Acta Informatica (2007)

Keyphrases

model checking
temporal logic
model checker
artificial intelligence
search algorithm
finite state
temporal properties
process algebra
computation tree logic
partial order reduction