Specification and Verification of a Steam-Boiler with Signal-Coq.
Mickaël KerboeufDavid NowakJean-Pierre TalpinPublished in: TPHOLs (2000)
Keyphrases
- formal methods
- power plant
- formal verification
- model checking
- formal specification
- asynchronous circuits
- signal processing
- coal fired
- protocol specification
- high frequency
- frequency domain
- software engineering
- fault diagnosis
- neural network
- signal detection
- reactive systems
- knowledge based systems
- historical data
- specification language
- non stationary
- received signal
- compressive sensing
- decision support system
- impulse response
- face verification
- multiresolution
- soft computing