1 citations · 1 across the 1 of their papers we have counts for
2 papers
cs.DC2021★ 1 cited
Abduction of trap invariants in parameterized systems
Javier Esparza, Mikhail Raskin, Christoph Welzel
In a previous paper we have presented a CEGAR approach for the verification of parameterized systems with an arbitrary number of processes organized in an array or a ring. The tech…
cs.LO2019
Working with first-order proofs and provers
Michael Raskin, Christoph Welzel
Verifying software correctness has always been an important and complicated task. Recently, formal proofs of critical properties of algorithms and even implementations are becoming…