Using formal verification techniques to reduce simulation and test effort

DOI10.1007/3-540-45251-6_27MaRDI QIDQ2763995zbMATH OpenFDO

Authors Olivier Laurent, Virginie Wiels, P. Michel

Publication date 22 January 2002

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2021/20210465

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) Computing methodologies and applications (68U99)

Recommendations

• scientific article; zbMATH DE number 1982196
• scientific article; zbMATH DE number 1746449
• FM 2005: Formal Methods
• On the effective deployment of functional formal verification
• scientific article; zbMATH DE number 2080912

Cited in

(4)

• Experimental evaluation of verification and validation tools on Martian Rover software
• scientific article; zbMATH DE number 1982196 (Why is no real title available?)
• scientific article; zbMATH DE number 1927550 (Why is no real title available?)
• Applying formal verification to an open-source real-time operating system

This page was built for publication: Using formal verification techniques to reduce simulation and test effort

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