The Tokeneer Experiments

DOI10.1007/978-1-84882-912-1_17zbMath1213.68391OpenAlexW1609389414MaRDI QIDQ3163415

Rod Chapman, Emine Gökçe Aydal, J. C. P. Woodcock

Publication date: 26 October 2010

Published in: Reflections on the Work of C.A.R. Hoare (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-1-84882-912-1_17

zbMATH Keywords

Verified Software Initiative

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (2)

Integration of formal proof into unified assurance cases with Isabelle/SACM ⋮ An automatically verified prototype of the Tokeneer ID station specification

This page was built for publication: The Tokeneer Experiments