A verification tool developer's vade mecum.

DOI10.1007/S100090050019MaRDI QIDQ1865842zbMATH OpenOpenAlexFDO

Authors Perdita Stevens

Publication date 2 April 2003

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/s100090050019

zbMATH Keywords

software engineering

Mathematics Subject Classification ID

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

Recommendations

• A comparison of tools for teaching formal software verification
• Ten years of historical development ``bootstrapping VDMTools
• scientific article; zbMATH DE number 1796139
• Automatic verification methods for finite state systems. International workshop, Grenoble, France, June 12-14, 1989. Proceedings
• Verified squared, does critical software deserve verified tools?

Cited in

(4)

• Equivalence checking 40 years after: a review of bisimulation tools
• scientific article; zbMATH DE number 1956598 (Why is no real title available?)
• A comparison of tools for teaching formal software verification
• Experience of improving the BLAST static verification tool

This page was built for publication: A verification tool developer's vade mecum.

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