Specification and Runtime Verification of API Constraints on Interacting Objects.
Fang DengHaiwen LiuJin ShaoQianxiang WangPublished in: SEKE (2011)
Keyphrases
- formal verification
- geometric constraints
- physical constraints
- d objects
- formal methods
- moving objects
- asynchronous circuits
- constrained optimization
- database
- spatial constraints
- model checking
- constraint language
- temporal continuity
- constraint sets
- cardinal directions
- global constraints
- constraint programming
- third party
- constraint satisfaction
- high level
- three dimensional