The Formal Semantics Definition of a Multi-Rate DSP Specification Language in HOL.
Catia M. AngeloLuc J. M. ClaesenHugo De ManPublished in: TPHOLs (1992)
Keyphrases
- specification language
- formal semantics
- theorem prover
- formal specification
- programming language
- description language
- operational semantics
- logical reasoning
- model checker
- formal methods
- formal language
- first order logic
- modeling language
- logical language
- machine learning
- software environment
- open source
- modelling language
- information systems
- software engineering