Volume 185, July 2007

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

• 
  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