Guarded Transitions in Evolving Specifications

DOI10.1007/3-540-45719-4_28zbMath1275.68095OpenAlexW1578636016MaRDI QIDQ2996129

Douglas R. Smith, Dusko Pavlovic

Publication date: 6 May 2011

Published in: Algebraic Methodology and Software Technology (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-45719-4_28

Mathematics Subject Classification ID

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

Related Items (2)

Bayesian Authentication: Quantifying Security of the Hancke-Kuhn Protocol ⋮ Smooth coalgebra: testing vector analysis

This page was built for publication: Guarded Transitions in Evolving Specifications