Computer Aided Verification
13th International Conference, CAV 2001, Paris, France, July 18-22, 2001. Proceedings
Gérard Berry, Hubert Comon, Alain Finkel
Résumé
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
Consultez aussi
- Les meilleures ventes en Graphisme & Photo
- Les meilleures ventes en Informatique
- Les meilleures ventes en Construction
- Les meilleures ventes en Entreprise & Droit
- Les meilleures ventes en Sciences
- Les meilleures ventes en Littérature
- Les meilleures ventes en Arts & Loisirs
- Les meilleures ventes en Vie pratique
- Les meilleures ventes en Voyage et Tourisme
- Les meilleures ventes en BD et Jeunesse
