Towards Abstraction-Based Verification of Shape Calculus.
Federico ButiMassimo Callisto De DonatoFlavio CorradiniMaria Rita Di BerardiniEmanuela MerelliLuca TeseiPublished in: Electron. Notes Theor. Comput. Sci. (2012)
Keyphrases
- model checking
- shape features
- hardware designs
- shape change
- shape model
- formal verification
- shape analysis
- shape descriptors
- shape matching
- high level
- face verification
- shape recognition
- shape retrieval
- perceptual grouping
- shape representation
- algebraic structure
- concurrent systems
- vector field
- bounded model checking
- optical flow