Mechanized result verification: An industrial application

DOI10.1007/PL00010809zbMath1059.68616OpenAlexW1971004139MaRDI QIDQ1856154

Paolo Traverso, Piergiorgio Bertoli

Publication date: 2000

Published in: International Journal on Software Tools for Technology Transfer. STTT (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/pl00010809

zbMATH Keywords

decompositionvalidationmechanized result verificationonline/offline checkingsafety critical software

Mathematics Subject Classification ID

Theory of software (68N99)

Uses Software

• PVS
• CVT

This page was built for publication: Mechanized result verification: An industrial application