عنوان

Formal methods for protocol engineering and distributed systems :

شابک

0387355782

شابک

9780387355788

شماره

b543002

عنوان اصلي

Formal methods for protocol engineering and distributed systems :

نام عام مواد

[Book]

ساير اطلاعات عنواني

FORTE XII/PSTV XIX'99 : IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XII) and Protocol Specification, Testing, and Verification (PSTV XIX) : October 5-8, 1999, Beijing, China

نام نخستين پديدآور

edited by Jianping Wu, Samuel T. Chanson, Qiang Gao.

محل نشرو پخش و غیره

Boston

نام ناشر، پخش کننده و غيره

Kluwer Academic

تاریخ نشرو بخش و غیره

1999

نام خاص و کميت اثر

(497 pages) : illustrations

عنوان فروست

International Federation for Information Processing (Series), 28.

متن يادداشت

Preface. Committee Members. List of Referees. Invited Talk I. Part One: Test I. 1. Conforming configurations in EFSM; A. Petrenko, et al. 2. Remote testing can be as powerful as local testing; C. Jard, et al. 3. Hit-or-Jump: An algorithm for embedded testing with applications to IN services; A. Cavalli, et al. Part Two: FDTs I. 4. Scalable and Object Oriented SDL State(chart)s; B. Moeller-Pedersen, D. Nogva. 5. Prototyping Framework for SDL with Evolving Semantics; P. Csurgay. 6. Framework for Automatic SDL to C++ Translation; D. Trossen, et al. Part Three: Test II. 7. Stress Testing of Distributed Multimedia Software Systems; J. Zhang, et al. 8. Fair Testing through Probabilistic Testing; M. Nunez, D. Ruperez. 9. A Formal Approach to Conformance Testing of Distributed Routing Protocols; J. Bi, J. Wu. Invited Talk II. Part Four: FDTs II. 10. Deriving Activity Thread Implementations from Formal Descriptions Using Transition Reordering; P. Langendoerfer, H. Koenig. 11. A Graphical Parallel Composition Operator for Process Algebras; H. Garavel, M. Sighireanu. 12. Guaranteeing liveness in an object calculus through behavioural typing; E. Najm, et al. Part Five: Model Checking. 13. Black Box Checking; D. Peled, et al. 14. An Optimizing Compiler for Efficient Model Checking; Y. Dong, C.R. Ramakrishnan. 15. Exploiting Symmetry when Model-Checking Software; P. Godefroid. Part Six: Verification. 16. User-FriendlyVerification; P.-A. Hsiung, F. Wang. 17. Specification and Verification of Synchronous Hardware using LOTOS; J. He, K.J. Turner. 18. Provably Correct Hardware Compilation using Timing Diagrams; M. Schenke, M. Dossis. Invited Talk III. Part Seven: Test III. 19. An enhanced model for testing asynchronous communicating systems; M. Kim, et al. 20. Interoperability Test Suite Derivation for the TCP; S. Seol. 21. Coverage analysis for embedded testing and an application; J. Zhu, S.T. Vuong. Part Eight: FDTs III. 22. A Formal Description Technology: Graphic E-LOTOS; L. Wen, et al. 23. Global Timed Bisimulation: An Introduction; D. de Frutos-Escrig, et al. 24. Protocol Synthesis for Real-Time Applications; A. Khoumsi, et al. Part Nine: Case Studies. 25. Verifying an infinite family of inductions simultaneously using data independence and FDR; S.J. Creese and A.W. Roscoe. 26. Specification and execution of tests using tMsc; I. Ober, A. Kerbrat. 27. Model-Checking A Secure Group Communication Protocol: A Case Study; A.J. Hu, et al. Part Ten: Invited Papers. 28. Software Model Checking; G.J. Holzmann, M.H. Smith. List of Contributors. Short Papers.

متن يادداشت

Formal Methods for Protocol Engineering and Distributed Systems addresses formal description techniques (FDTs) applicable to distributed systems and communication protocols.

موضوع مستند نشده

Computer network protocols -- Congresses.

موضوع مستند نشده

Electronic data processing -- Distributed processing -- Congresses.

موضوع مستند نشده

Formal methods (Computer science) -- Congresses.

شماره رده

نشانه اثر

مستند نام اشخاص تاييد نشده

edited by Jianping Wu, Samuel T. Chanson, Qiang Gao.

مستند نام اشخاص تاييد نشده

Jianping Wu

مستند نام اشخاص تاييد نشده

Qiang Gao

مستند نام اشخاص تاييد نشده

Samuel T Chanson

نام الکترونيکي

نوع ماده

[Book]

تكميل شده

Y