Tous nos rayons

Déjà client ? Identifiez-vous

Mot de passe oublié ?

Nouveau client ?

CRÉER VOTRE COMPTE
Computer Aided Verification
Ajouter à une liste

Librairie Eyrolles - Paris 5e
Indisponible

Computer Aided Verification

Computer Aided Verification

13th International Conference, CAV 2001, Paris, France, July 18-22, 2001. Proceedings

Gérard Berry, Hubert Comon, Alain Finkel

518 pages, parution le 01/09/2001

Résumé

This book constitutes the refereed proceedings of the 13th International Conference on Computer Aided Verification, CAV 2001, held in Paris, France in July 2001.

The 33 revised full papers presented were carefully reviewed and selected from 106 regular paper submissions; also included are 13 reviewed tool presentations selected from 27 submissions. The book offers topical sections on model checking and theorem proving, automata techniques, verification core technology, BDD and decision trees, abstraction and refinement, combinations, infinite state systems, temporal logics and verification, microprocessor verification and cache coherence, SAT and applications, and timed automata.

Contents

  • Invited talk
  • Model cheking and theorem proving
  • Automata techniques
  • Verification core technology
  • BDD and decision procedures
  • Abstraction and refinement
  • Combinations
  • Tool presentations : rewriting and theorem-proving techniques
  • Invited talk
  • Infinite state systems
  • Temporal logics and verification
  • Tool presentations : model-cheking and automata techniques
  • Microprocessor verification, cache coherence
  • SZT, BDDs, and applications
  • Timed automata
  • Author index

L'auteur - Gérard Berry

Gérard Berry est professeur au Collège de France où il dirige la chaire Algorithmes, machines et langages. Il est médaille d'or du CNRS.

Autres livres de Gérard Berry

L'auteur - Alain Finkel

Autres livres de Alain Finkel

Caractéristiques techniques

  PAPIER
Éditeur(s) Springer
Auteur(s) Gérard Berry, Hubert Comon, Alain Finkel
Parution 01/09/2001
Nb. de pages 518
Format 15,5 x 23,5
Couverture Broché
Poids 756g
Intérieur Noir et Blanc
EAN13 9783540423454

Avantages Eyrolles.com

Livraison à partir de 0,01 en France métropolitaine
Paiement en ligne SÉCURISÉ
Livraison dans le monde
Retour sous 15 jours
+ d'un million et demi de livres disponibles
satisfait ou remboursé
Satisfait ou remboursé
Paiement sécurisé
modes de paiement
Paiement à l'expédition
partout dans le monde
Livraison partout dans le monde
Service clients sav@commande.eyrolles.com
librairie française
Librairie française depuis 1925
Recevez nos newsletters
Vous serez régulièrement informé(e) de toutes nos actualités.
Inscription