책 이미지
책 정보
· 분류 : 외국도서 > 컴퓨터 > 컴퓨터 공학
· ISBN : 9781475788259
· 쪽수 : 464쪽
목차
Preface. Program Committee and Reviewers. Part One: Formal Methods in Software Development I. 1. Automated Derivation of ILP Implementations from SDL Specifications; S. Twarok, et al. 2. Stepwise Design with Message Sequence Charts; F. Khendek, et al. 3. Formal Synthesis and Control of Soft Embedded Real-Time Systems; P.-A. Hsiung. Part Two: Distributed Systems Testing. 4. Towards a Formal Framework for Interoperability Testing; C. Viho, et al. 5. Distributed Test using Logical Clock; Y.J. Choi, et al. 6. Diagnosing Multiple Faults in Ecommunicating Finite State Machines; K. El-Fakih, et al. 7. From Active to Passive: Progress in Testing of Internet Routing Protocols; J. Wu, et al. Part Three: Timed Automata. 8. Time and Action Lock Freedom Properties for Times Automata; H. Bowman. 9. Compiling Real-Time Scenarios into a Timed Automaton; A. Salah, et al. 10. Deriving Parameter Conditions for Periodic Timed Automata Satisfying Real-Time Temporal Logic Formulas; A. Nakata, T. Higashino. Part Four: Process Algebra. 11. PAMR: A Process Algebra for the Management of Resources in Concurrent Systems; M. Nunez, I. Rodriguez. 12. A Symbolic Semantics and Bisimulation for Full LOTOS; M. Calder, C. Shankland. 13. Implementing a Modal Logic over Data and Processes using XTL; J. Bryand, C. Shankland. Part Five: Applications of Verification. 14. Formal Verification of Peephole Optimizations in Asynchronous Circuits; X. Kong, R.Negulescu. 15. Symbolic Verification of Complex Real-Time Systems with Clock-Restriction Diagram; F. Wang. 16. Verifying a Sliding Window Protocol using PVS; V. Rusu. Part Six: Test Sequence Derivation. 17. Test Sequence Selection; D. Lee, R. Hao. 18. Executable Test Sequence for the Protocol Data Flow Property; W.-H. Chen. 19. A Method to Generate Conformance Test Sequences for FSM with Timer System Call; T. Mori, et al. Part Seven: Formal Methods in Software Development II. 20. A Tool for Generating Specifications from a Family of Formal Requirements; J. Bredereke. 21. Patterns and Rules for Behavioural Subtyping; H. Wehrheim. Part Eight: Theories of Verification. 22. Verification of Dense Time Properties using Theories of Untimed Process Algebra; M. Luukkainen. 23. Testing Liveness Properties: Approximating Liveness Properties by Safety Properties; U. Ultes-Nitsche, S. St James. 24. SVL: A Scripting Language for Compositional Verification; H. Garavel, F. Lang. Part Nine: Invited Papers. 25. On Formal Techniques in Protocol Engineering &endash; Example Challenges; D. Bjørner. 26. A PKI-Based End-to-End Secure Infrastructure for Mobile E-commerce; T.-W. Cheung, S.T. Chanson. 27. A Family of Resource-Bound Real-Time Process Algebras; I. Lee, et al. 28. Survivability Analysis of Networked Systems; J.M. Wing.