A quantitative completeness analysis for property sets

MaRDI QIDQ3528907zbMATH OpenFDO

Authors Martin Oberkönig, Martin Schickel, Hans Eveking

Publication date 17 October 2008

Mathematics Subject Classification ID

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

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

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)