Properties Incompleteness Evaluation by Functional Verification

DOI10.1109/TC.2007.1012MaRDI QIDQ4564139zbMATH OpenFDO

Authors Andrea Fedeli, Franco Fummi, Graziano Pravadelli

Publication date 12 June 2018

Published in IEEE Transactions on Computers (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1109/TC.2007.1012

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Verification of non-regular program properties
• Formalization of Properties of Functional Programs
• A quantitative completeness analysis for property sets
• Parameterized property testing of functions
• Parameterized property testing of functions
• Problems of verification of functional programs
• Constructing Property-Oriented Models for Verification
• Partial specifications and compositional verification

This page was built for publication: Properties Incompleteness Evaluation by Functional Verification

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