Proceedings of the 6th International Workshop on Automated Verification of Critical Systems (AVoCS 2006)

Stephan Merz 1 Tobias Nipkow 2
1 MOSEL - Proof-oriented development of computer-based systems
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : This volume contains the proceedings of the Sixth International Workshop on Automated Verification of Critical Systems (AVoCS 2006), which was held on September 18–19, 2006 in Nancy, France. The workshop is devoted to techniques and tools for the verification of critical systems, and applications thereof. It aims to being together researchers from academia and industry who have an interest in formal verification, interpreted in a broad sense. Previous instances of AVoCS were held in Warwick (2005), London (2004), Southampton (2003), Birmingham (2002) and Oxford (2001).
Type de document :
Direction d'ouvrage, Proceedings, Dossier
Michael Mislove. 185, Elsevier, pp.151, 2007, Electronic Notes in Theoretical Computer Science
Liste complète des métadonnées

https://hal.inria.fr/inria-00187585
Contributeur : Stephan Merz <>
Soumis le : mercredi 14 novembre 2007 - 18:32:06
Dernière modification le : jeudi 11 janvier 2018 - 06:19:52

Identifiants

  • HAL Id : inria-00187585, version 1

Collections

Citation

Stephan Merz, Tobias Nipkow. Proceedings of the 6th International Workshop on Automated Verification of Critical Systems (AVoCS 2006). Michael Mislove. 185, Elsevier, pp.151, 2007, Electronic Notes in Theoretical Computer Science. 〈inria-00187585〉

Partager

Métriques

Consultations de la notice

165