Bounded Model Checking for Timed Systems.

Gilles Audemard Alessandro Cimatti Artur Kornilowicz Roberto Sebastiani

Published in: FORTE (2002)

Keyphrases

bounded model checking
management system
real time
optimal solution
knowledge based systems
finite state machines
data sets
neural network
information retrieval
expert systems
distributed systems
intelligent systems
model checking