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)

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)