Generating Path Conditions for Timed Systems.

Saddek Bensalem Doron A. Peled Hongyang Qu Stavros Tripakis

Published in: IFM (2005)

Keyphrases

petri net
real time
learning algorithm
case study
expert systems
intelligent systems
computer systems
building blocks
computing systems
neural network
sufficient conditions
endpoints
finite state machines
systems require
automatically generating