A quantitative completeness analysis for property sets

zbMATH Open1160.68445MaRDI QIDQ3528907FDOQ3528907

Martin Oberkönig, Hans Eveking, Martin Schickel

Publication date: 17 October 2008

Mathematics Subject Classification ID

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

Cited In (1)

• Properties Incompleteness Evaluation by Functional Verification

   Recommendations

• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Formal methods of analysis of system properties 👍 👎
• Correct Hardware Design and Verification Methods 👍 👎
• General quantitative specification theories with modal transition systems 👍 👎

This page was built for publication: A quantitative completeness analysis for property sets

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