E-Books durchsuchen

Formal Techniques for Networked and Distributed Systems [2001]

3
Automated Derivation of ILP Implementations from SDL Specifications
19
Stepwise Design with Message Sequence Charts
35
Formal Synthesis and Control of Soft Embedded Real-Time Systems
53
Towards a Formal Framework for Interoperability Testing
69
Distributed Test Using Logical Clock
85
Diagnosing Multiple Faults in Communicating Finite State Machines
101
From Active to Passive: Progress in Testing of Internet Routing Protocols
119
Time and Action Lock Freedom Properties for Timed Automata
135
Compiling Real-time Scenarios into a Timed Automaton
151
Deriving Parameter Conditions for Periodic Timed Automata Satisfying Real-time Temporal Logic Formulas
169
PAMR: A Process Algebra for the Management of Resources in Concurrent Systems
185
A Symbolic Semantics and Bisimulation for Full Lotos
201
Implementing a Modal Logic Over Data and Processes Using XTL
219
Formal Verification of Peephole Optimizations in Asynchronous Circuits
235
Symbolic Verification of Complex Real-time Systems with Clock-restriction Diagram
251
Verifying a Sliding-Window Protocol Using PVS
269
Test Sequence Selection
285
Executable Test Sequence for the Protocol Data Flow Property
301
A Method to Generate Conformance Test Sequences for FSM with Timer System Call
319
A Tool for Generating Specifications from A Family of Formal Requirements
335
Patterns and Rules for Behavioural Subtyping
353
Verification of Dense Time Properties Using Theories of Untimed Process Algebra
369
Testing Liveness Properties
377
SVL: A Scripting Language for Compositional Verification
395
On Formal Techniques in Protocol Engineering — Example Challenges
421
A PKI-based End-To-End Secure Infrastructure for Mobile E-Commerce
443
A Family of Resource-Bound Real-Time Process Algebras
459
Survivability Analysis of Networked Systems
E1
Erratum to: Formal Techniques for Networked and Distributed Systems
Feedback