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 |