Automatic generation of path conditions for concurrent timed systems.

Saddek Bensalem Doron A. Peled Hongyang Qu Stavros Tripakis

Published in: Theor. Comput. Sci. (2008)

Keyphrases

learning systems
database
databases
management system
distributed systems
intelligent systems
computer systems
building blocks
petri net
image sequences
information retrieval systems
complex systems
endpoints
automatically generate
discrete event