Protocol verification with the Aldébaran toolset

DOI10.1007/S100090050012zbMath1060.68561OpenAlexW2013380671MaRDI QIDQ1856199

Alain Kerbrat, Jean-Claude Fernandez, Marius Bozga, Laurent Mounier

Publication date: 1997

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/s100090050012

zbMATH Keywords

verificationmodel checkingformal methodsprotocol engineering

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Distributed systems (68M14) Network protocols (68M12)

Related Items (1)

Equivalence checking 40 years after: a review of bisimulation tools

Uses Software

• CADP

This page was built for publication: Protocol verification with the Aldébaran toolset