Automatic Verification of Timed Concurrent Constraint Programs

Moreno Falaschi Alicia Villanueva

Published in: CoRR (2005)

Keyphrases

concurrent programs
petri net
website
programming environment
mutual exclusion
data mining
machine learning
learning algorithm
finite state machines
computer programs
linear constraints
constraint solving
constrained minimization
runtime environment