Abstract is missing.
- Encoding PAMR into (Timed) EFSMsManuel Núñez, Ismael Rodríguez. 1-16 [doi]
- Submodule Construction for Specifications with Input Assumptions and Output GuaranteesGregor von Bochmann. 17-33 [doi]
- Congruent Weak Conformance, a Partial Order among ProcessesRonald W. Brower, Kenneth S. Stevens. 34-49 [doi]
- Symmetric Symbolic Safety-Analysis of Concurrent Software with Pointer Data StructuresFarn Wang, Karsten Schmidt 0004. 50-64 [doi]
- A Nested Depth First Search Algorithm for Model Checking with Symmetry ReductionDragan Bosnacki. 65-80 [doi]
- Protocol Techniques for Testing Radiotherapy AcceleratorsKenneth J. Turner, Qian Bing. 81-96 [doi]
- System Test Synthesis from UML Models of Distributed SoftwareSimon Pickin, Claude Jard, Yves Le Traon, Thierry Jéron, Jean-Marc Jézéquel, Alain Le Guennec. 97-113 [doi]
- Formal Test Purposes and the Validity of Test CasesPeter H. Deussen, Stephan Tobies. 114-129 [doi]
- Use of Logic to Describe Enhanced Communications ServicesStephan Reiff-Marganiec, Kenneth J. Turner. 130-145 [doi]
- A Formal Venture into Reliable Multicast TerritoryCarolos Livadas, Nancy A. Lynch. 146-161 [doi]
- Modelling SIP Services Using CRESSKenneth J. Turner. 162-177 [doi]
- Verifying Reliable Data Transmission over UMTS Radio Interface with High Level Petri NetsTeemu Tynjälä, Sari Leppänen, Vesa Luukkala. 178-193 [doi]
- Verifying Randomized Byzantine AgreementMarta Z. Kwiatkowska, Gethin J. Norman. 194-209 [doi]
- Automatic SAT-Compilation of Protocol Insecurity Problems via Reduction to PlanningAlessandro Armando, Luca Compagna. 210-225 [doi]
- Visual Specifications for Modular Reasoning about Asynchronous SystemsNina Amla, E. Allen Emerson, Kedar S. Namjoshi, Richard J. Trefler. 226-242 [doi]
- Bounded Model Checking for Timed SystemsGilles Audemard, Alessandro Cimatti, Artur Kornilowicz, Roberto Sebastiani. 243-259 [doi]
- C Wolf - A Toolset for Extracting Models from C ProgramsDaniel C. DuVarney, S. Purushothaman Iyer. 260-275 [doi]
- NTIF: A General Symbolic Model for Communicating Sequential Processes with DataHubert Garavel, Frédéric Lang. 276-291 [doi]
- Building Tools for LOTOS Symbolic Semantics in MaudeAlberto Verdejo. 292-307 [doi]
- From States to Transitions: Improving Translation of LTL Formulae to Büchi AutomataDimitra Giannakopoulou, Flavio Lerda. 308-326 [doi]
- A Compositional Sweep-Line State Space Exploration MethodLars Michael Kristensen, Thomas Mailund. 327-343 [doi]
- On Combining the Persistent Sets Method with the Covering Steps Graph MethodPierre-Olivier Ribet, François Vernadat, Bernard Berthomieu. 344-359 [doi]
- Innovative Verification Techniques Used in the Implementation of a Third-Generation 1.1GHz 64b MicroprocessorVictor Melamed, Harry Stuimer, David Wilkins, Lawrence Chang, Kevin Normoyle, Sutikshan Bhutani. 360-363 [doi]
- Mechanical Translation of I/O Automaton Specifications into First-Order LogicAndrej Bogdanov, Stephen J. Garland, Nancy A. Lynch. 364-368 [doi]
- Verification of Event-Based Synchronization of SpecC Description Using Difference Decision DiagramsThanyapat Sakunkonchak, Masahiro Fujita. 369 [doi]
- A Distributed Partial Order Reduction AlgorithmRobert Palmer, Ganesh Gopalakrishnan. 370 [doi]