Bounded model checking of infinite state systems.

Tobias Schüle Klaus Schneider

Published in: Formal Methods Syst. Des. (2007)

Keyphrases

bounded model checking
distributed systems
knowledge based systems
learning systems
real time
data sets
genetic algorithm
database systems
expert systems
object oriented
general purpose
computer systems
complex systems