Marius Bozga, Jean-Claude Fernandez, Alain Kerbrat, Laurent Mounier. Protocol Verification with the Aldebaran Toolset. Software Tools for Technology Transfer, 1(1):166-183, December 1997.
Download paper:
Adobe portable document (pdf)
Copyright notice:
The design of distributed systems is an increasingly complex task, yet competitiveness requires faster developments. Formal Description Techniques (FDTs) are a way to deal with this requirement, as they come with tools allowing us to simulate and verify the behavior of a system without actually having to execute it, thus translating part of the costly testing effort to the design effort. In this article we present the verification toolset Aldebaran. This verification toolset is designed independently of any FDT, yet allows us to work with the two most used ones. It is implemented in a modular way, for easy use and integration with other system design tools. We present the technical principles of this toolset, the performances obtained, and the application domains through the presentation of some case studies
[ Model-based verification techniques ]
@article{Bozga-Fernandez-Kerbrat-97a,
Author = {Bozga, Marius and Fernandez, Jean-Claude and Kerbrat, Alain and Mounier, Laurent},
Title = {{P}rotocol {V}erification with the {A}ldebaran {T}oolset},
Journal = {Software Tools for Technology Transfer},
Volume = {1},
Number = {1},
Pages = {166--183},
Month = {December},
Year = {1997}
}
Get EndNote Reference (.ref)