A Comprehensive Safety Engineering Approach for Software-Intensive Systems Based on STPA
Formal verification and testing are complementary approaches which are used in the development process to verify the functional correctness of software. However, the correctness of software cannot ensure the safe operation of safety-critical software systems. The software must be verified against it...
| Main Authors: | , , |
|---|---|
| Other Authors: | |
| Format: | Article |
| Language: | English |
| Published: |
Elsevier,
2017-04-18T19:50:27Z.
|
| Subjects: | |
| Online Access: | Get fulltext |