A verification tool developer's vade mecum.

DOI10.1007/S100090050019zbMath1033.68585OpenAlexW2051727957MaRDI QIDQ1865842

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)

Related Items (1)

Equivalence checking 40 years after: a review of bisimulation tools

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