Automatic verification of real-time communicating systems by constraint-solving.

Wang Yi Paul Pettersson Mats Daniels

Published in: FORTE (1994)

Keyphrases

constraint solving
real time
constraint propagation
expert systems
search space
control system
computer systems
constraint satisfaction problems
real time systems
constraint logic programming
telecommunication systems
data structure
computational complexity
vision system
complex systems
monte carlo