System Specification and Verification Using High Level Concepts - A Tool Demonstration.
Christian StehnoPublished in: SPIN (2002)
Keyphrases
- high level
- low level
- formal verification
- concept maps
- conceptual model
- software tools
- model checking
- asynchronous circuits
- conceptual models
- low level features
- higher level
- visualization tool
- lower level
- learning algorithm
- genetic algorithm
- formal methods
- protocol specification
- formal languages
- database
- formal specification
- knowledge representation
- data model
- case study
- e learning
- information systems
- real time