Login / Signup
Formal Verification of Safety-Critical User Interfaces: a space system case study.
Manuel Sousa
José Creissac Campos
Miriam C. Bergue Alves
Michael D. Harrison
Published in:
AAAI Spring Symposia (2014)
Keyphrases
</>
formal verification
safety critical
case study
user interface
model checking
formal methods
model checker
safety analysis
symbolic model checking
fault tolerant
nuclear power plant
embedded systems
formal specification
support systems
agent architecture
decision support
decision support system
distributed systems