Advertisement

Formal Verification

  • Cinzia Bernadeschi
  • Alessandro Fantechi
  • Stefania Gnesi
Chapter

Abstract

Formal approaches have been used in GUARDS as one of the elements of the validation strategy. In particular, formal verification has concentrated on four dependability mechanisms, namely: a) clock synchronisation, b) interactive consistency, c) fault diagnosis, and d) multi-level integrity. The first three mechanisms constitute basic building-blocks of the architecture, and the fourth one corresponds to a major innovation. The formal approaches applied include both theorem-proving and model-checking.

Keywords

Model Checker Fault Diagnosis Formal Verification Process Algebra Clock Synchronisation 
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 Dordrecht 2001

Authors and Affiliations

  • Cinzia Bernadeschi
  • Alessandro Fantechi
  • Stefania Gnesi

There are no affiliations available

Personalised recommendations