On the Industrial Application of Critical Software Verification with VerCors

von Huisman, Marieke
Veröffentlicht in ISoLA (9. : 2020 : Online) Leveraging applications of formal methods, verification and validation ; Part 3: Engineering principles (2020)

On Deductive Verification of an Industrial Concurrent Software Component with VerCors

von Monti, Raul E.
Veröffentlicht in ISoLA (11. : 2022 : Rhodos) Leveraging applications of formal methods, verification and validation ; Part 1: Verification principles (2022)

Rare Event Simulation for Non-Markovian Repairable Fault Trees

von Budde, Carlos E.
Veröffentlicht in TACAS (26. : 2020 : Online) Tools and algorithms for the construction and analysis of systems ; Part 1 (2020)

Deductive Verification of Parameterized Embedded Systems Modeled in SystemC

von Tasche, Philip
Veröffentlicht in VMCAI (25. : 2024 : London) Verification, model checking, and abstract interpretation ; Part 2 (2024)