- Lars-Henrik Eriksson:
The GTO Toolset and Method. AVoCS 2006: 77-91 - Sara Gradara, Antonella Santone, Maria Luisa Villani
:
Formal Verification of Concurrent Systems via Directed Model Checking. AVoCS 2006: 93-105 - E. Kleiner, T. Newcomb:
On the Decidability of the Safety Problem for Access Control Policies. AVoCS 2006: 107-120 - Stephan Merz, Tobias Nipkow
:
Preface. AVoCS 2006: 1-2 - Nick Moffat, Michael Goldsmith:
Assumption-Commitment Support for CSP Model Checking. AVoCS 2006: 121-137 - Frank Ortmeier, Gerhard Schellhorn:
Formal Fault Tree Analysis - Practical Experiences. AVoCS 2006: 139-151 - Ranko Lazic, Rajagopal Nagarajan:
Proceedings of the 5th International Workshop on Automated Verification of Critical Systems, AVoCS 2005, University of Warwick, UK, September 12-13, 2005. Electronic Notes in Theoretical Computer Science 145, Elsevier 2006 [contents] - 2005
- Hasan Amjad:
Verification of AMBA Using a Combination of Model Checking and Theorem Proving. AVoCS 2005: 45-61 - Damián Barsotti, Leonor Prensa Nieto, Alwen Fernanto Tiu:
Verification of Clock Synchronization Algorithms: Experiments on a Combination of Deductive Tools. AVoCS 2005: 63-78 - Milan Ceska, Pavel Erlebach, Tomás Vojnar
:
Pattern-Based Verification of Programs with Extended Linear Linked Data Structures. AVoCS 2005: 113-130 - Nathaniel Charlton:
Verification of Java Programs with Interacting Analysis Plugins. AVoCS 2005: 131-150 - Neil Evans, Helen Treharne
:
Linking Semantic Models to Support CSP || B Consistency Checking. AVoCS 2005: 201-217 - Mike Gordon, Juliano Iyoda, Scott Owens
, Konrad Slind:
Automatic Formal Synthesis of Hardware from Higher Order Logic. AVoCS 2005: 27-43 - Dimitar P. Guelev, Mark Dermot Ryan
, Pierre-Yves Schobbens
:
Synthesising Features by Games. AVoCS 2005: 79-93 - Cliff B. Jones
:
Reasoning About Partial Functions in the Formal Development of Programs. AVoCS 2005: 3-25 - Eun-Young Kang
, Stephan Merz:
Predicate Diagrams for the Verification of Real-Time Systems. AVoCS 2005: 151-165 - Ranko Lazic, Rajagopal Nagarajan:
Preface. AVoCS 2005: 1-2 - Joy N. Reed, A. W. Roscoe, Jane E. Sinclair:
Machine-Verifiable Responsiveness. AVoCS 2005: 185-200 - Hosung Song, Kevin J. Compton, William C. Rounds:
SPHIN: A model checker for reconfigurable hybrid systems based on SPIN. AVoCS 2005: 167-183 - Tobe Toben, Bernd Westphal:
Concurrent LSC Verification: On Decomposition Properties of Partially Ordered Symbolic Automata. AVoCS 2005: 95-111 - Michael Huth:
Proceedings of the Fouth International Workshop on Automated Verification of Critical Systems, AVoCS 2004, London, UK, September 4, 2004. Electronic Notes in Theoretical Computer Science 128(6), Elsevier 2005 [contents] - 2004
- Cécile Braunstein, Emmanuelle Encrenaz:
CTL-Property Transformations Along an Incremental Design Process. AVoCS 2004: 263-278 - Franck Cassez
, Olivier H. Roux:
Structural Translation from Time Petri Nets to Timed Automata. AVoCS 2004: 145-160 - Christophe Darlot, Alain Finkel, Laurent Van Begin:
About Fast and TReX Accelerations. AVoCS 2004: 87-103 - Aleksandar S. Dimovski
, Ranko Lazic:
Software Model Checking Based on Game Semantics and CSP. AVoCS 2004: 105-125 - Alastair F. Donaldson, Alice Miller
, Muffy Calder
:
Finding Symmetry in Models of Concurrent Systems by Static Channel Diagram Analysis. AVoCS 2004: 161-177 - Marie Duflot, Laurent Fribourg, Thomas Hérault
, Richard Lassaigne, Frédéric Magniette
, Stéphane Messika, Sylvain Peyronnet, Claudine Picaronny:
Probabilistic Model Checking of the CSMA/CD Protocol Using PRISM and APMC. AVoCS 2004: 195-214 - Harald Fecher:
Truly Concurrent Logic via In-Between Specification. AVoCS 2004: 215-230 - Wan J. Fokkink
, Jun Pang:
Simplifying Itai-Rodeh Leader Election for Anonymous Rings. AVoCS 2004: 53-68 - Marco Gribaudo, András Horváth
:
Model Checking Functional and Performability Properties of Stochastic Fluid Models. AVoCS 2004: 295-310