Farkas-Based Tree Interpolation

von Asadi, Sepideh
Veröffentlicht in SAS (27. : 2020 : Online) Static analysis (2020)

A Cooperative Parallelization Approach for Property-Directed k-Induction

von Blicha, Martin
Veröffentlicht in VMCAI (21. : 2020 : New Orleans, La.) Verification, model checking, and abstract interpretation (2020)

SolCMC: Solidity Compiler’s Model Checker

von Alt, Leonardo
Veröffentlicht in International Conference on Computer-Aided Verification (34. : 2022 : Haifa) Computer aided verification ; Part 1 (2022)

Transition Power Abstractions for Deep Counterexample Detection

von Blicha, Martin
Veröffentlicht in TACAS (28. : 2022 : München) Tools and algorithms for the construction and analysis of systems ; Part 1 (2022)