Formal Methods for Distributed System Development: FORTE / PSTV 2000 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques ... and Protocol Specification, Testing and V - Softcover

Softcover

ISBN 10: 1475752636 ISBN 13: 9781475752632

Publisher: Springer, 2013

Synopsis

Contributors. Preface. Programme Committee and Referees. Acknowledgements. Part One: Verification and Theorem Proving. 1. Formal Verification of the TTP Group Membership Algorithm; H. Pfeifer. 2. Verification of a Sliding Window Protocol Using IOA and MONA; M.A. Smith, N. Klarlund. 3. A Priori Verification of Reactive Systems; M. Majster-Cederbaum, et al. Part Two: Test Generation. 4. From Rule-based to Automata-based Testing; K. Etessami, M. Yannakakis. 5. Integrated System Interoperability Testing with Applications to VOIP; N. Griffeth, et al. 6. On Test Derivation from Partial Specifications; A. Petrenko, N. Yevtushenko. Part Three: Model Checking - Theory. 7. Compositionality for Improving Model Checking; A. Santone. 8. A Model Checking Method for Partially Symmetric Systems; S. Haddad, et al. Part Four: Model Checking - Applications. 9. Specification and Verification of Message Sequence Charts; D. Peled. 10. A State-Exploration Technique for Spi-Calculus Testing Equivalence Verification; L. Durante, et al. 11. Verification of Consistency Protocols via Infinite-State Symbolic Model Checking; G. Delzanno. Part Five: Multicast Protocol Analysis and Simulation. 12. Systematic Performance Evaluation of Multipoint Protocols; A. Helmy, et al. 13. Simulating Multicast Transport Protocols in Estelle; J. Templemore-Finlayson, E. Borcoci. 14. Generation of Realistic Signalling Traffic in an ISDN Load Test System using SDL User Models; T. Steinert, G. Roessler. Part Six: Exhaustive and Probabilistic Testing. 15. Satisfaction up to Liveness; U. Ultes-Nitsche. 16. Testing IP Routing Protocols &endash; From Probabilistic Algorithms to a Software Tool; R. Hao, et al. Part Seven: Hardware Specification, Implementation and Testing. 17. Verifying and Testing Asynchronous Circuits using LOTOS; J. He, K.J. Turner. 18. Hardware implementation of Concurrent Periodic EFSM's; H. Katagiri, et al. 19. Modeling Distributed Embedded Systems in Multiclock ESTEREL; B. Rajan, R.K. Shyamasundar. Part Eight: Formal Semantics. 20. Compact Net Semantics for Process Algebras; M. Bernardo, et al. 21. A Concise Compositional Statecharts Semantics Definition; M. von der Beeck. 22. Implementing CCS in Maude; A. Verdejo, N. Martí-Oliet. Part Nine: Invited Papers on Verification and Security. 23. From Refutation to Verification; J. Rushby. 24. Process Algebraic Analysis of Cryptographic Protocols; M. Boreale, et al. 25. A Logic of Belief and a Model Checking Algorithm for Security Protocols; M. Benerecetti, et al.

Edition details

• Publisher: Springer
• Publication date: 2013
• ISBN 10: 1475752636
• ISBN 13: 9781475752632
• Binding: Paperback
• Language: English
• Number of pages: 428
• Editor: Bolognesi Tommaso, Latella Diego