˜Aœ Verified POSIX-Compliant Flash File System : modular Verification Technology & Crash Tolerance

von Ernst, Gidon
Veröffentlicht 2016

Loop Verification with Invariants and Contracts

von Ernst, Gidon
Veröffentlicht in VMCAI (23. : 2022 : Philadelphia, Pa.) Verification, Model Checking, and Abstract Interpretation (2022)

Bridging Arrays and ADTs in Recursive Proofs

von Fedyukovich, Grigory
Veröffentlicht in TACAS (27. : 2021 : Online) Tools and algorithms for the construction and analysis of systems ; Part 2 (2021)

A Hoare Logic with Regular Behavioral Specifications

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

LEGION: Best-First Concolic Testing (Competition Contribution)

von Liu, Dongge
Veröffentlicht in FASE (23. : 2020 : Online) Fundamental approaches to software engineering (2020)