Bounded model checking of infinite state systems: exploiting the automata hierarchy.

Tobias Schüle Klaus Schneider

Published in: MEMOCODE (2004)

Keyphrases

bounded model checking
finite state machines
knowledge base
reinforcement learning
expert systems
general purpose
distributed systems
complex systems
information systems
management system
building blocks
temporal logic
formal languages