scientific article; zbMATH DE number 5353387

zbMATH Open1160.68440MaRDI QIDQ3528928FDOQ3528928

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

Publication date: 17 October 2008

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

formal verification

Mathematics Subject Classification ID

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

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)