Formal techniques for networked and distributed systems
Subtitle: FORTE 2001 : IFIP TC6 WG6.1--21st International Conference on Formal Techniques for Networked and Distributed Systems, August 28-31, 2001, Cheju Island, Korea
By: edited by Myungchul Kim ... [et al.]
Contributors: Kim, Myungchul.
Publisher: Kluwer Academic Publishers
Published: 2001
Place of publication: Boston
Language: eng
Number of pages: 458
Subjects: Formal methods (Computer science) -- Congresses; Electronic data processing -- Distributed processing -- Congresses; Computer network protocols -- Congresses
Genres: Congresses.
Notes: Includes bibliographical references.
Table of contents: title: Machine generated contents note: Part One; title: FORMAL METHODS IN SOFTWARE DEVELOPMENT I; title: 1. Automated Derivation of ILP Implementations from SDL 3; title: Specifications; title: S. Twarok, P. Langendoerfer and H. Koenig; title: 2. Stepwise Design with Message Sequence Charts 19; title: F. Khendek, S. Bourduas andD. Vincent; title: 3. Formal Synthesis and Control of Soft Embedded Real-Time 35; title: Systems; title: P.-A. Hsiung; title: Part Two; title: DISTRIBUTED SYSTEMS TESTING; title: 4. Towards a Formal Framework for Interoperability Testing 53; title: C. Viho, S. Barbin and L. Tanguy; title: 5. Distributed Test using Logical Clock 69; title: Y. J. Choi, H. Y. Youn, S. Seol and S. J. Yoo; title: 6. Diagnosing Multiple Faults in Communicating Finite State 85; title: Machines; title: K. El-Fakih, N. Yevtushenko and G. v. Bochmann; title: 7. From Active to Passive: Progress in Testing of Internet 101; title: Routing Protocols; title: J. Wu, Y. Zhao andX Yin; title: Part Three; title: TIMED AUTOMATA; title: 8. Time and Action Lock Freedom Properties for Timed 119; title: Automata; title: H. Bowman; title: 9. Compiling Real-Time Scenarios into a Timed Automaton 135; title: A. Salah, R. Dssouli and G. Lapalme; title: 10. Deriving Parameter Conditions for Periodic Timed Automata 151; title: Satisfying Real-Time Temporal Logic Formulas; title: A. Nakata and T. Higashino; title: Part Four; title: PROCESS ALGEBRA; title: 11. PAMR: A Process Algebra for the Management of 169; title: Resources in Concurrent Systems; title: M. Nutiez and I. Rodriguez; title: 12. A Symbolic Semantics and Bisimulation for Full LOTOS 185; title: M. Calder and C. Shankland; title: 13. Implementing a Modal Logic over Data and Processes using XTL 201; title: J. Bryans and C. Shankland; title: Part Five; title: APPLICATIONS OF VERIFICATION; title: 14. Formal Verification of Peephole Optimizations in 219; title: Asynchronous Circuits; title: X Kong and R. Negulescu; title: 15. Symbolic Verification of Complex Real-Time Systems with 235; title: Clock-Restriction Diagram; title: F. Wang; title: 16. Verifying a Sliding Window Protocol using PVS 251; title: V. Rusu; title: Part Six; title: TEST SEQUENCE DERIVATION; title: 17. Test Sequence Selection 269; title: D. Lee and R. Hao; title: 18. Executable Test Sequence for the Protocol Data Flow Property 285; title: W.-H. Chen; title: 19. A Method to Generate Conformance Test Sequences for 301; title: FSM with Timer System Call; title: T. Mori, K. Tokuda, H. Tada, M. Higuchi and T. Higashino; title: Part Seven; title: FORMAL METHODS IN SOFTWARE DEVELOPMENT H; title: 20. A Tool for Generating Specifications from a Family of Formal 319; title: Requirements; title: J. Bredereke; title: 21. Patterns and Rules for Behavioural Subtyping 335; title: H. Wehrheim; title: Part Eight; title: THEORIES OF VERIFICATION; title: 22. Verification of Dense Time Properties using Theories of 353; title: Untimed Process Algebra; title: M. Luukkainen; title: 23. Testing Liveness Properties: Approximating Liveness 369; title: Properties by Safety Properties; title: U. Ultes-Nitsche and S. St James; title: 24. SVL: A Scripting Language for Compositional Verification 377; title: H. Garavel and F. Lang; title: Part Nine; title: INVITED PAPERS; title: 25. On Formal Techniques in Protocol Engineering - Example 395; title: Challenges; title: D. Bjorner; title: 26. A PKI-Based End-to-End Secure Infrastructure for Mobile 421; title: E-Commerce; title: T.-W. Cheungand S. T. Chanson; title: 27. A Family of Resource-Bound Real-Time Process Algebras 443; title: I. Lee, J.-Y. Choi, H. H. Kwak, A. Philippou and 0. Sokolsky; title: 28. Survivability Analysis of Networked Systems 459; title: J. M. Wing.