33 citations · 42 across the 9 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
cs.PL2021
Formally Validating a Practical Verification Condition Generator (extended version)
Gaurav Parthasarathy, Peter Müller, Alexander J. Summers
A program verifier produces reliable results only if both the logic used to justify the program's correctness is sound, and the implementation of the program verifier is itself cor…
cs.PL2021
Rich Specifications for Ethereum Smart Contract Verification
Christian Bräm, Marco Eilers, Peter Müller +2
Smart contracts are programs that execute inside blockchains such as Ethereum to manipulate digital assets. Since bugs in smart contracts may lead to substantial financial losses,…