Towards applying a safety analysis and verification method based on STPA to agile software development.

Yang Wang Stefan Wagner

Published in: CSED@ICSE (2016)

Keyphrases

verification method
safety analysis
agile software development
model checking
symbolic model checking
temporal logic
nuclear power plant
safety critical
software development
fault model
control system
model checker
reliability analysis
case study
cooperative
formal methods