The IFIP TC6 WG 6.1 Joint International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2002, was held this year at Rice University, Houston, Texas, on November 11–14. – Protocol testing, including conformance testing, interoperability testing, and performance testing.

Encoding PAMR into (Timed) EFSMs.- Submodule Construction for Specifications with Input Assumptions and Output Guarantees.- Congruent Weak Conformance, a Partial Order among Processes.- Symmetric Symbolic Safety-Analysis of Concurrent Software with Pointer Data Structures.- A Nested Depth First Search Algorithm for Model Checking with Symmetry Reduction.- Protocol Techniques for Testing Radiotherapy Accelerators.- System Test Synthesis from UML Models of Distributed Software.- Formal Test Purposes and the Validity of Test Cases.- Use of Logic to Describe Enhanced Communications Services.- A Formal Venture into Reliable Multicast Territory.- Modelling SIP Services Using Cress.- Verifying Reliable Data Transmission over UMTS Radio Interface with High Level Petri Nets.- Verifying Randomized Byzantine Agreement_.- Automatic SAT-Compilation of Protocol Insecurity Problems via Reduction to Planning.- Visual Specifications for Modular Reasoning about Asynchronous Systems.- Bounded Model Checking for Timed Systems.- C Wolf - A Toolset for Extracting Models from C Programs.- NTIF: A General Symbolic Model for Communicating Sequential Processes with Data.- Building Tools for LOTOS Symbolic Semantics in Maude.- From States to Transitions: Improving Translation of LTL Formulae to Büchi Automata.- A Compositional Sweep-Line State Space Exploration Method.- On Combining the Persistent Sets Method with the Covering Steps Graph Method.- Innovative Verification Techniques Used in the Implementation of a Third-Generation 1.1GHz 64b Microprocessor.- Mechanical Translation of I/O Automaton Specifications into First-Order Logic.- Verification of Event-Based Synchronization of SpecC Description Using Difference Decision Diagrams.- A Distributed Partial Order Reduction Algorithm.

GPSR Compliance The European Union's (EU) General Product Safety Regulation (GPSR) is a set of rules that requires consumer products to be safe and our obligations to ensure this. If you have any concerns about our products you can contact us on ProductSafety@springernature.com. In case Publisher is established outside the EU, the EU authorized representative is: Springer Nature Customer Service Center GmbH Europaplatz 3 69115 Heidelberg, Germany ProductSafety@springernature.com