FM 2005: Formal Methods

DOI10.1007/b27882zbMath1120.68406OpenAlexW1497681073MaRDI QIDQ5716891

C. Jeske, M. Poppleton, Richard Banach, Susan Stepney

Publication date: 10 January 2006

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

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

Mathematics Subject Classification ID

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

Related Items (5)

Composition mechanisms for retrenchment ⋮ Simple feature engineering via neat default retrenchments ⋮ The mechanical generation of fault trees for reactive systems via retrenchment. I. Combinational circuits ⋮ Retrenchment for Event-B: UseCase-wise development and Rodin integration ⋮ Stronger compositions for retrenchments

This page was built for publication: FM 2005: Formal Methods