Advertisement

Formal methods for software verification

  • Ernesto Damiani
  • Claudio Agostino Ardagna
  • Nabil El Ioini
Chapter

Keywords

Model Check Formal Method Security Property Finite State Automaton Loop Body 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer Science+Business Media, LLC 2009

Authors and Affiliations

  • Ernesto Damiani
    • 1
  • Claudio Agostino Ardagna
    • 1
  • Nabil El Ioini
    • 2
  1. 1.Dipartimento di. Tecnologie dell’InformazioneUniversità di MilanoCremaItaly
  2. 2.Computer Science FacultyFree University of Bozen/BolzanoBozen/BolzanoItaly

Personalised recommendations