The Analysis of Safety Critical Software Systems
We reflect on the impact of software verification techniques, as implemented in the logic model checking tool SPIN, on the development of modern safety critical software systems and reflect on future developments in the application of formal verification techniques, especially in the context of the new generation of AI-based systems and tools.
Authors
- Gerard J. Holzmann (ORCID: https://orcid.org/0000-0001-9207-4370)
Publication Details
- Journal
- IEEE Transactions on Software Engineering
- Published
- 2025-01-22
- DOI
- https://doi.org/10.1109/tse.2025.3532391
- Primary Topic
- Software Reliability and Analysis Research
- Type
- article
- Field-Weighted Citation Impact
- 0.00