An Innovative Teaching Tool for the Verification of Abstract Data Type Implementations from Formal Algebraic Specifications.
Rafael del Vado VírsedaFernando Pérez MorentePublished in: ICCS (2012)
Keyphrases
- abstract data types
- formal specification
- data types
- data abstraction
- formal methods
- programming language
- model checking
- learning environment
- formal verification
- asynchronous circuits
- object oriented databases
- denotational semantics
- data model
- high level
- artificial intelligence
- database management systems
- general purpose
- spatio temporal
- preprocessing
- reactive systems
- databases