Experiments on homogeneous nucleation and physicochemical properties related to atmospheric new particle formation

von Hyvärinen, Antti-Pekka
Veröffentlicht 2006

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)

Accurate Smart Contract Verification Through Direct Modelling Alt, Patrick Eugster,

von Marescotti, Matteo
Veröffentlicht in ISoLA (9. : 2020 : Online) Leveraging applications of formal methods, verification and validation ; Part 3: Engineering principles (2020)