Mechanized result verification: An industrial application
From MaRDI portal
Publication:1856154
DOI10.1007/PL00010809zbMath1059.68616MaRDI 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
decomposition; validation; mechanized result verification; online/offline checking; safety critical software
68N99: Theory of software
Uses Software