Cargando…
Counterexample analysis of formal verification methods
Nowadays, different kinds of software solutions become part of our lives more and more. A special category of software systems is the safety-critical systems. Usually a fault in a safety-critical system can lead to immersive financial loss, catastrophic environmental effect, or it can even cost hum...
| Autor principal: | |
|---|---|
| Lenguaje: | eng |
| Publicado: |
2021
|
| Materias: | |
| Acceso en línea: | http://cds.cern.ch/record/2779411 |