Safe Decomposition of Startup Requirements: Verification and Synthesis

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

Efficient SMT-Based Analysis of Failure Propagation

von Bozzano, Marco
Veröffentlicht in CAV (33. : 2021 : Online) Computer aided verification ; Part 2 (2021)