Tool-Assisted Specification and Verification of Typed Low-Level Languages.
Gilles BarthePierre CourtieuGuillaume DufaySimão Melo de SousaPublished in: J. Autom. Reason. (2005)
Keyphrases
- low level
- high level
- formal verification
- higher level
- formal methods
- language independent
- model checking
- databases
- higher order
- expressive power
- formal language
- software tools
- asynchronous circuits
- formal languages
- conceptual model
- mid level
- specification languages
- face verification
- formal specification
- visual features
- language model
- expert systems
- information retrieval