scientific article; zbMATH DE number 5353387

MaRDI QIDQ3528928zbMATH OpenFDO

Authors Daniel Große, Robert Wille, Rolf Drechsler, Ulrich Kühne

Publication date 17 October 2008

zbMATH Keywords

formal verification

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Computer system organization (68M99)

Recommendations

• Constraint-based debugging in probabilistic model checking
• scientific article; zbMATH DE number 1956571
• Computer Aided Verification
• Tools and Algorithms for the Construction and Analysis of Systems
• Bounded model checking using satisfiability solving

Cited in

(1)

• Vacuity in practice: temporal antecedent failure

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3528928)