default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID6th AVoCS 2006: Nancy, France
- Stephan Merz, Tobias Nipkow:
Proceedings of the 6th International Workshop on Automated Verification of Critical Systems, AVoCS 2006, Nancy, France, September 18-19, 2006. Electronic Notes in Theoretical Computer Science 185, Elsevier 2007 - Stephan Merz, Tobias Nipkow
:
Preface. 1-2 - Hasan Amjad:
Compressing Propositional Refutations. 3-15 - Jean-Paul Bodeveix, Mamoun Filali, Julia L. Lawall, Gilles Muller:
Automatic Verification of Bossa Scheduler Properties. 17-32 - Michaël Cadilhac, Thomas Hérault, Richard Lassaigne, Sylvain Peyronnet, Sébastien Tixeuil:
Evaluating Complex MAC Protocols for Sensor Networks with APMC. 33-46 - Dominique Cansell, Dominique Méry:
Incremental Parametric Development of Greedy Algorithms. 47-62 - Alastair F. Donaldson, Alice Miller:
Extending Symmetry Reduction Techniques to a Realistic Model of Computation. 63-76 - Lars-Henrik Eriksson:
The GTO Toolset and Method. 77-91 - Sara Gradara, Antonella Santone, Maria Luisa Villani:
Formal Verification of Concurrent Systems via Directed Model Checking. 93-105 - E. Kleiner, T. Newcomb:
On the Decidability of the Safety Problem for Access Control Policies. 107-120 - Nick Moffat, Michael Goldsmith:
Assumption-Commitment Support for CSP Model Checking. 121-137 - Frank Ortmeier, Gerhard Schellhorn:
Formal Fault Tree Analysis - Practical Experiences. 139-151
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2026-08-17 23:43 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated, funded, and maintained by:
Schloss Dagstuhl - Leibniz Center for Informatics is a member of the Leibniz Association and is funded by the federal government of Germany and the states of Germany, especially Saarland and Rhineland‑Palatinate.
