Formal Verification of STPA with Model Checking
As technology advances, hardware-centric systems are rapidly moving towards software-centric ones, and their complexity is rapidly increasing. In particular, systems directly related to safety require thorough verification. Model checking exhaustively explores the state space of the abstracted syst...
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Gdynia Maritime University
2023-03-01
|
| Series: | Scientific Journal of Gdynia Maritime University |
| Subjects: | |
| Online Access: | https://ojs.umg.edu.pl/index.php/sjgmu/article/view/299 |