Abstract is missing.
- Challenges for Formal Verification in Industrial SettingAnna Slobodová. 1-22 [doi]
- Distributed Verification: Exploring the Power of Raw Computing PowerLubos Brim. 23-34 [doi]
- An Easy-to-Use, Efficient Tool-Chain to Analyze the Availability of Telecommunication EquipmentKai Lampka, Markus Siegle, Max Walter. 35-50 [doi]
- To Store or Not To Store Reloaded: Reclaiming Memory on DemandMoritz Hammer, Michael Weber. 51-66 [doi]
- Discovering SymmetriesHassen Saïdi. 67-83 [doi]
- On Combining Partial Order Reduction with Fairness AssumptionsLubos Brim, Ivana Cerná, Pavel Moravec 0002, Jirí Simsa. 84-99 [doi]
- Test Coverage for Loose Timing AnnotationsC. Helmstetter, Florence Maraninchi, Laurent Maillet-Contoz. 100-115 [doi]
- Model-Based Testing of a WAP Gateway: An Industrial Case-StudyAnders Hessel, Paul Pettersson. 116-131 [doi]
- Heuristics for ioco -Based Test-Based ModellingTim A. C. Willemse. 132-147 [doi]
- Verifying VHDL Designs with Multiple Clocks in SMVAles Smrcka, Vojtech Rehák, Tomás Vojnar, David Safránek, Petr Matousek, Z. Rehák. 148-164 [doi]
- Verified Design of an Automated Parking GarageAad Mathijssen, A. Johannes Pretorius. 165-180 [doi]
- Evaluating Quality of Service for Service Level AgreementsAllan Clark, Stephen Gilmore. 181-194 [doi]
- Simulation-Based Performance Analysis of a Medical Image-Processing ArchitecturePieter J. L. Cuijpers, A. V. Fyukov. 195-210 [doi]
- Blasting Linux CodeJan Tobias Mühlberg, Gerald Lüttgen. 211-226 [doi]
- A Finite State Modeling of AFDX Frame Management Using SpinIndranil Saha, Suman Roy. 227-243 [doi]
- UML 2.0 State Machines: Complete Formal Semantics Via core state machineHarald Fecher, Jens Schönborn. 244-260 [doi]
- Automated Incremental Synthesis of Timed AutomataBorzoo Bonakdarpour, Sandeep S. Kulkarni. 261-276 [doi]
- SAT-Based Verification of LTL FormulasWenhui Zhang. 277-292 [doi]
- jmle: A Tool for Executing JML Specifications Via Constraint ProgrammingBen Krause, Tim Wahls. 293-296 [doi]
- Goanna - A Static Model CheckerAnsgar Fehnker, Ralf Huuck, Patrick Jayet, Michel Lussenburg, Felix Rauch. 297-300 [doi]
- Parallel SAT Solving in Bounded Model CheckingErika Ábrahám, Tobias Schubert, Bernd Becker, Martin Fränzle, Christian Herde. 301-315 [doi]
- Parallel Algorithms for Finding SCCs in Implicitly Given GraphsJiri Barnat, Pavel Moravec 0002. 316-330 [doi]
- Can Saturation Be Parallelised?Jonathan Ezekiel, Gerald Lüttgen, Radu Siminiceanu. 331-346 [doi]
- Distributed Colored Petri Net Model-Checking with CycladesChristophe Pajault, Jean-François Pradat-Peyre. 347-361 [doi]