Seamless Interactive Program Verification

von Grebing, Sarah
Veröffentlicht in VSTTE (11. : 2019 : New York, NY) Verified software (2020)

Runtime Verification of Generalized Test Tables

von Weigl, Alexander
Veröffentlicht in NFM (13. : 2021 : Online) NASA Formal Methods (2021)

Modular Verification of JML Contracts Using Bounded Model Checking

von Beckert, Bernhard
Veröffentlicht in ISoLA (9. : 2020 : Online) Leveraging applications of formal methods, verification and validation ; Part 1: Verification principles (2020)

Formal Specification and Verification of JDK’s Identity Hash Map Implementation

von Boer, Martin de
Veröffentlicht in iFM (17. : 2022 : Lugano) Integrated formal methods (2022)