|
" Formal Methods for Distributed System Development : "
PSTV 2000 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XIII) and Protocol Specification, Testing and Verification (PSTV XX) October 10-13, 2000, Pisa, Italy / edited by Tommaso Bolognesi, Diego Latella.
| Document Type
|
:
|
BL
|
| Record Number
|
:
|
726475
|
| Doc. No
|
:
|
b546207
|
| Main Entry
|
:
|
PSTV 2000 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XIII) and Protocol Specification, Testing and Verification (PSTV XX) October 10-13, 2000, Pisa, Italy
|
| Title & Author
|
:
|
Formal Methods for Distributed System Development : : FORTE\ PSTV 2000 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XIII) and Protocol Specification, Testing and Verification (PSTV XX) October 10-13, 2000, Pisa, Italy / edited by Tommaso Bolognesi, Diego Latella.
|
| Publication Statement
|
:
|
Boston, MA: Springer US, 2000
|
| Series Statement
|
:
|
IFIP - The International Federation for Information Processing, 55.
|
| Page. NO
|
:
|
(xv, 408 pages)
|
| ISBN
|
:
|
0387355332
|
|
|
:
|
: 9780387355337
|
| Contents
|
:
|
1. Formal Verification of the TTP Group Membership Algorithm --;2. Verification of a Sliding Window Protocol Using IOA and MONA --;3. A Priori Verification of Reactive Systems --;4. From Rule-based to Automata-based Testing --;5. Integrated System Interoperability Testing with Applications to VOIP --;6. On Test Derivation from Partial Specifications --;7. Compositionality for Improving Model Checking --;8. A Model Checking Method for Partially Symmetric Systems --;9. Specification and Verification of Message Sequence Charts --;10. A State-Exploration Technique for Spi-Calculus Testing Equivalence Verification --;11. Verification of Consistency Protocols via Infinite-State Symbolic Model Checking --;12. Systematic Performance Evaluation of Multipoint Protocols --;13. Simulating Multicast Transport Protocols in Estelle --;14. Generation of Realistic Signalling Traffic in an ISDN Load Test System using SDL User Models --;15. Satisfaction up to Liveness --;16. Testing IP Routing Protocols --;From Probabilistic Algorithms to a Software Tool --;17. Verifying and Testing Asynchronous Circuits using LOTOS --;18. Hardware implementation of Concurrent Periodic EFSM's --;19. Modeling Distributed Embedded Systems in Multiclock ESTEREL --;20. Compact Net Semantics for Process Algebras --;21. A Concise Compositional Statecharts Semantics Definition --;22 Implementing CCS in Maude --;23. From Refutation to Verification --;24. Process Algebraic Analysis of Cryptographic Protocols --;25. A Logic of Belief and a Model Checking Algorithm for Security Protocols.
|
| Abstract
|
:
|
Second, one of the several myths about FM's - the fact that their adoption would eventually eliminate the need for testing - is still quite far from becoming a reality, and, again, this book indicates that testing theory and applications are still remarkably healthy.
|
| Subject
|
:
|
Computer science.
|
| Subject
|
:
|
Electronic data processing.
|
| Subject
|
:
|
Software engineering.
|
| Added Entry
|
:
|
Diego Latella
|
|
|
:
|
Tommaso Bolognesi
|
| |