•  Retrait gratuit dans votre magasin Club
  •  7.000.000 titres dans notre catalogue
  •  Payer en toute sécurité
  •  Toujours un magasin près de chez vous     
  •  Retrait gratuit dans votre magasin Club
  •  7.000.000 titres dans notre catalogue
  •  Payer en toute sécurité
  •  Toujours un magasin près de chez vous

Livres

Ebooks

Papeterie

Jeux

Cadeaux

Tous les produits

Dédicaces

Jobs

Articles

  1. Accueil
  2. Livres
  3. Sciences humaines
  4. Sciences
  5. Technique
  6. Électronique
  7. Scalable Techniques for Formal Verification

Scalable Techniques for Formal Verification

Sandip Ray
Livre broché | Anglais
118,45 €
+ 236 points
Format
Livraison 1 à 2 semaines
Passer une commande en un clic
Payer en toute sécurité
Livraison en Belgique: 3,99 €
Livraison en magasin gratuite

Description

Preliminaries.- Overview of Formal Verification.- to ACL2.- Sequential Program Verification.- Sequential Programs.- Operational Semantics and Assertional Reasoning.- Connecting Different Proof Styles.- Verification of Reactive Systems.- Reactive Systems.- Verifying Concurrent Protocols Using Refinements.- Pipelined Machines.- Invariant Proving.- Invariant Proving.- Predicate Abstraction via Rewriting.- Formal Integration of Decision Procedures.- Integrating Deductive and Algorithmic Reasoning.- A Compositional Model Checking Procedure.- Connecting External Deduction Tools with ACL2.- Conclusion.- Summary and Conclusion.

Spécifications

Parties prenantes

Auteur(s) :
Sandip Ray
Editeur:
Springer

Contenu

Nombre de pages :
243
Langue:
Anglais

Caractéristiques

EAN:
9781489984449
Date de parution :
19-10-14
Format:
Livre broché
Format numérique:
Trade paperback (VS)
Dimensions :
156 mm x 234 mm
Poids :
367 g

Les avis