Protocol verification with the Aldébaran toolset

DOI10.1007/S100090050012MaRDI QIDQ1856199zbMATH OpenOpenAlexFDO

Authors Marius Bozga, Jean-Claude Fernandez, Alain Kerbrat, 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

formal methodsmodel checkingprotocol engineeringverification

Mathematics Subject Classification ID

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

Recommendations

• Automatic verification of distributed systems: the process algebra approach.
• scientific article; zbMATH DE number 2043473
• Computer Aided Verification
• scientific article; zbMATH DE number 1693443
• Formal model-driven design of distributed algorithms

Cited in

(4)

• OMT and SDL based techniques and tools for design, simulation and test production of distributed systems
• The CL-Atse Protocol Analyser
• An algorithmic technique for protocol verification
• Equivalence checking 40 years after: a review of bisimulation tools

Describes a project that uses

Uses Software

• CADP

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1856199)