skip to main content

Systems and software verification : model-checking techniques and tools

Schnoebelen, Philippe ; McKenzie, Pierre

Berlin New York Paris : Springer, 2001

Voir les exemplaires  et autres localisations

  • Titre:
    Systems and software verification : model-checking techniques and tools
  • Autre(s) auteur(s): Schnoebelen, Philippe ;
    McKenzie, Pierre
  • Sujets: Logiciels -- Vérification ;
    Vérification ;
    Logiciel ;
    Génie logiciel ;
    AUTOMATE ;
    BINARY DECISION DIAGRAM ;
    LOGIQUE TEMPORELLE ;
    Modèl Checking ;
    Preuve de programme ;
    H-INF.TH. ;
    H-LOGICIEL
  • Description: Mines : Trad. de : "Vérification de logiciels : techniques et outils du model-checking". Contents : Part I. Principles and Techniques. 1. Automata. 2. Temporal Logic. 3. Model Checking. 4. Symbolic Model Checking. 5. Timed Automata. Part II. Specifying with Temporal Logic. 6. Reachability Properties. 7. Safety Properties. 8. Liveness Properties. 9. Deadlock-freeness. 10. Fairness Properties. 11. Abstraction Methods. Part III. Some Tools. 12. SMV - Symbolic Model Checking. 13. SPIN - Communicating Automata. 14. DESIGN/CPN - Coloured Petri Nets. 15. UPPAAL - Timed Systems. 16. KRONOS - Model Checking of Real-time Systems. 17. HYTECH - Linear Hybrid Systems
  • Éditeur: Berlin New York Paris : Springer
  • Date de publication: 2001
  • Format: 1 vol. (XII-190 p.) : ill., couv. ill. en coul. ; 24 cm
  • Langue: Anglais
  • Identifiant: ISBN 3-540-41523-8 ;ISBN 978-3-642-07478-3
  • Source: Mines ParisTech (catalogue)

Recherche dans les bases de données distantes en cours. Merci de patienter.

  • Recherche
  • dansscope:(33PSL-CNSAD),scope:(33PSL-EHESS),scope:(33PSL-PSL_OMEKA),scope:(33PSL-MINES),scope:(33PSL-EFEO),scope:(33PSL-CNSMDP),scope:(33PSL-CHIMIE),scope:(33PSL),scope:("DAU"),scope:(33PSL-CDF),scope:(33PSL-ENS),scope:("33PSL-OBSERV"),scope:("33PSL-ESPCI"),scope:(33PSL-CURIE),scope:(33PSL-ENSBA),scope:("33PSL-ENC"),scope:(33PSL-PSL_STAR),scope:(33PSL-PSL_SFX),scope:("33PSL-EPHE"),scope:(33PSL-ENSAD),primo_central_multiple_fe
  • Afficher ce qui a déjà été récupéré