Protocol verification with the ALDÉBARAN toolset

  • Marius Bozga
  • Jean-Claude Fernandez
  • Alain Kerbrat
  • Laurent Mounier
Regular contributions
Key words: Protocol engineering – Formal methods – Verification – Model checking 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 1997

Authors and Affiliations

  • Marius Bozga
    • 1
  • Jean-Claude Fernandez
    • 1
  • Alain Kerbrat
    • 1
  • Laurent Mounier
    • 1
  1. 1.Verimag centre Equation, 2 rue de Vignate, F-38610 Gières, France; http://www.imag.fr/VERIMAGFR

Personalised recommendations