Verifying Systems with Infinite but Regular State Spaces.

Pierre Wolper Bernard Boigelot

Published in: CAV (1998)

Keyphrases

state space
management system
complex systems
distributed systems
computer systems
real time
data mining
information systems
objective function
expert systems
information technology
dynamic programming
learning systems
systems require