Formal Techniques for Networked and Distributed Systems - FORTE 2004
24th IFIP WG 6.1 International Conference, Madrid Spain, September 27-30, 2004, Proceedings
Published on 9. September 2004
X, 382 pages
978-3-540-30232-2 (ISBN)
Description
More details
Other editions
Additional editions
David de Frutos-Escrig | Manuel Nunez
Formal Techniques for Networked and Distributed Systems - FORTE 2004
24th IFIP WG 6.1 International Conference, Madrid Spain, September 27-30, 2004, Proceedings
Book
09/2004
Springer
€53.49
Shipment within 10-15 days
Content
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.
