search for books and compare prices
Tables of Contents for Formal Methods for Protocol Engineering and Distributed Systems
Chapter/Section Title
Page #
Page Count
Preface
ix
Committee Members
xi
List of Referees
xii
Invited Talk I
PART ONE Test I
Confirming configurations in EFSM
5
20
A. Petrenko
S. Boroday
R. Groz
Remote testing can be as powerful as local testing
25
16
Claude Jard
Thierry Jeron
Lenaick Tanguy
Cesar Viho
Hit-or-Jump: An algorithm for embedded testing with applications to IN services
41
18
Ana Cavalli
David Lee
Christian Rinderknecht
Fatiha Zaidi
PART TWO FDTs I
Scalable and Object Oriented SDL State(chart)s
59
16
Birger Moller-Pedersen
Dagbjorn Nogva
Prototyping Framework for SDL with Evolving Semantics
75
20
Peter Csurgay
Framework for Automatic SDL to C++ Translation
95
24
Dirk Trossen
Christian Cseh
Roman Kogan
PART THREE Test II
Stress Testing of Distributed Multimedia Software Systems
119
16
Jian Zhang
Shing-Chi Cheung
Samuel T. Chanson
Fair Testing through Probabilistic Testing
135
16
Manuel Nunez
David Ruperez
A Formal Approach to Conformance Testing of Distributed Routing Protocols
151
18
Jun Bi
Jianping Wu
Invited Talk II
PART FOUR FDTs II
Deriving Activity Thread Implementations from Formal Descriptions Using Transition Reordering
169
16
Peter Langendorfer
Hartmut Konig
A Graphical Parallel Composition Operator for Process Algebras
185
18
Hubert Garavel
Mihaela Sighireanu
Guaranteeing liveness in an object calculus through behavioural typing
203
22
Elie Najm
Abdelkrim Nimour
Jean-Bernard Stefani
PART FIVE Model Checking
Black Box Checking
225
16
Doron Peled
Moshe Y. Vardi
Mihalis Yannakakis
An Optimizing Compiler for Efficient Model Checking
241
16
Yifei Dong
C.R. Ramakrishnan
Exploiting Symmetry when Model-Checking Software
257
22
Patrice Godefroid
PART SIX Verification
User-Friendly Verification
279
16
Pao-Ann Hsiung
Farn Wang
Specification and Verification of Synchronous Hardware using LOTOS
295
18
Ji He
Kenneth J. Turner
Provably Correct Hardware Compilation using Timing Diagrams
313
24
Michael Schenke
Michael Dossis
Invited Talk III
PART SEVEN Test III
An enhanced model for testing asynchronous communicating systems
337
20
Myungchul Kim
Jaehwi Shin
Samuel T. Chanson
Sungwon Kang
Interoperability Test Suite Derivation for the TCP
357
20
Soonuk Seol
Myungchul Kim
Sungwon Kang
Yongbum Park
Younghan Choe
Coverage analysis for embedded testing and an application*
377
12
Jinsong Zhu
Son T. Vuong
PART EIGHT FDTs III
A Formal Description Technology: Graphic E-LOTOS*
389
12
Li Wen
Ye Xinming
Liu Zhiyong
Global Timed Bisimulation: An Introduction*
401
16
David de Frutos-Escrig
Natalia Lopez
Manuel Nunez
Protocol Synthesis for Real-Time Applications*
417
20
Ahmed Khoumsi
Gregor v. Bochmann
Rachida Dssouli
PART NINE Case Studies
Verifying an infinite family of inductions simultaneously using data independence and FDR
437
16
S. J. Creese
A. W. Roscoe
Specification and execution of tests using tMsc
453
16
Iulian Ober
Alain Kerbrat
Model-Checking A Secure Group Communication Protocol: A Case Study*
469
12
Alan J. Hu
Rui Li
Xizheng Shi
Son Vuong
PART TEN Invited Papers
Soft are Model Checking
481
18
Gerard J. Holzmann
Margaret H. Smith
List of Contributors
499