Cargando…
Formal verification of Simulink/Stateflow diagrams: a deductive approach
This book presents a state-of-the-art technique for formal verification of continuous-time Simulink/Stateflow diagrams, featuring an expressive hybrid system modelling language, a powerful specification logic and deduction-based verification approach, and some impressive, realistic case studies. Rea...
| Autores principales: | , , |
|---|---|
| Lenguaje: | eng |
| Publicado: |
Springer
2017
|
| Materias: | |
| Acceso en línea: | https://dx.doi.org/10.1007/978-3-319-47016-0 http://cds.cern.ch/record/2240467 |