A quantitative completeness analysis for property sets

zbMATH Open1160.68445MaRDI QIDQ3528907FDOQ3528907

Authors: Martin Oberkönig, Martin Schickel, Hans Eveking 

Publication date: 17 October 2008

Recommendations

• scientific article; zbMATH DE number 1487867
• scientific article; zbMATH DE number 1852168
• Formal methods of analysis of system properties
• Correct Hardware Design and Verification Methods
• General quantitative specification theories with modal transition systems

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

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)