Ensuring Reachability by Design

DOI10.1007/978-3-642-32943-2_17zbMath1362.68164OpenAlexW1879975909MaRDI QIDQ2915108

Benoît Caillaud, Jean-Baptiste Raclet

Publication date: 21 September 2012

Published in: Theoretical Aspects of Computing – ICTAC 2012 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-32943-2_17

Mathematics Subject Classification ID

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

Related Items (2)

A Linear-Time–Branching-Time Spectrum of Behavioral Specification Theories ⋮ A linear-time-branching-time spectrum for behavioral specification theories

This page was built for publication: Ensuring Reachability by Design