Compositional Verification of Asynchronous Processes via Constraint Solving.
Giorgio DelzannoMaurizio GabbrielliPublished in: ICALP (2005)
Keyphrases
- constraint solving
- constraint propagation
- constraint logic programming
- constraint satisfaction problems
- constraint satisfaction
- asynchronous circuits
- constraint solver
- constraint programming
- process model
- discussion forums
- database systems
- search algorithm
- evolutionary algorithm
- mobile robot
- signature verification