Java Ranger at SV-COMP 2020 (Competition Contribution)

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

From Partial to Global Assume-Guarantee Contracts: Compositional Realizability Analysis in FRET

von Mavridou, Anastasia
Veröffentlicht in FM (24. : 2021 : Online) Formal Methods (2021)

Unsatisfiability Proofs for Distributed Clause-Sharing SAT Solvers

von Michaelson, Dawn
Veröffentlicht in TACAS (29. : 2023 : Paris) Tools and algorithms for the construction and analysis of systems ; Part 1 (2023)