Towards Robustness Analysis Using PVS

DOI10.1007/978-3-642-22863-6_8zbMath1342.68281OpenAlexW290114431MaRDI QIDQ3087998

R. Leveugle, Renaud Clavel, Laurence Pierre

Publication date: 17 August 2011

Published in: Interactive Theorem Proving (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-22863-6_8

Mathematics Subject Classification ID

Fault detection; testing in circuits and networks (94C12)

Uses Software

• ACL2
• PVS

Cites Work

• Unnamed Item
• Feasibility analysis for robustness quantification by symbolic model checking
• Structured theory development for a mechanized logic
• Formal Reliability Analysis Using Theorem Proving

This page was built for publication: Towards Robustness Analysis Using PVS