21 citations · 22 across the 2 of their papers we have counts for
2 papers
cs.LO2017★ 1 cited
Efficient Verification of Multi-Property Designs (The Benefit of Wrong Assumptions) (Extended Version)
Eugene Goldberg, Matthias Gudemann, Daniel Kroening +1
We consider the problem of efficiently checking a set of safety properties P1,....,Pk of one design. We introduce a new approach called JA-verification where JA stands for "Just-As…
cs.LO2010★ 21 cited
Probabilistic Model-Based Safety Analysis
Matthias Güdemann, Frank Ortmeier
Model-based safety analysis approaches aim at finding critical failure combinations by analysis of models of the whole system (i.e. software, hardware, failure modes and environmen…