Formal Techniques for Networked and Distributed Systems - FORTE 2004

24th IFIP WG 6.1 International Conference, Madrid Spain, September 27-30, 2004, Proceedings

392 Seiten, Taschenbuch

Kurzbeschreibung des Verlags

Invited Talks.- A Logical Account of NGSCB.- Composing Event Constraints in State-Based Specification.- Formal Description Techniques and Software Engineering: Some Reflections after 2 Decades of Research.- Regular Papers.- Parameterized Models for Distributed Java Objects.- Towards the Harmonisation of UML and SDL.- Localizing Program Errors for Cimple Debugging.- Formal Verification of a Practical Lock-Free Queue Algorithm.- Formal Verification of Web Applications Modeled by Communicating Automata.- Towards Design Recovery from Observations.- Network Protocol System Passive Testing for Fault Management: A Backward Checking Approach.- Connectivity Testing Through Model-Checking.- Fault Propagation by Equation Solving.- Automatic Generation of Run-Time Test Oracles for Distributed Real-Time Systems.- Formal Composition of Distributed Scenarios.- Conditions for Resolving Observability Problems in Distributed Testing.- Integrating Formal Verification with Mur? of Distributed Cache Coherence Protocols in FAME Multiprocessor System Design.- Witness and Counterexample Automata for ACTL.- A Symbolic Symbolic State Space Representation.- Introducing the Iteration in sPBC.- Petri Net Semantics of the Finite ?-Calculus.- Symbolic Diagnosis of Partially Observable Concurrent Systems.- Automatized Verification of Ad Hoc Routing Protocols.- A Temporal Logic Based Framework for Intrusion Detection.

• Reihe: Lecture Notes in Computer Science
• Themen: Informatik und Informationstechnologie Informatik Theoretische Informatik
• ISBN: 9783540232520
• Sprache: Englisch
• Erscheinungsdatum: 21.09.2004
• Größe: 235 x 155 mm
• Verlag: Springer
• Herausgegeben von: David De Frutos-Escrig, Manuel Nunez