SDL specification and verification of universal personal computing: with Object GEODE.
Maria TöröJinsong ZhuVictor C. M. LeungPublished in: FORTE (1998)
Keyphrases
- formal verification
- multiple objects
- asynchronous circuits
- high level
- object segmentation
- object model
- data sets
- d objects
- object identification
- deformable objects
- complex scenes
- case study
- physical objects
- signature verification
- formal methods
- formal specification
- spatial relationships
- complex objects
- data objects
- vision system