Formal methods for protocol engineering and distributed systems. 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). Beijing, China, October 5--8, 1999
The articles of this volume will be reviewed individually. The preceding conferences (11th, FORTE XI, 1998 and 18th, PSTV XVIII, 1998) have been indicated (see Zbl 0905.68004). Indexed articles: \textit{Petrenko, A.; Boroday, S.; Groz, R.}, Confirming configurations in EFSM, 5-24 [Zbl 0952.68092] \textit{Jard, Claude; Jéron, Thierry; Tanguy, Lénaïck; Viho, César}, Remote testing can be as powerful as local testing, 25-40 [Zbl 0952.68009] \textit{Cavalli, Ana; Lee, David; Rinderknecht, Christian; Zaïdi, Fatiha}, Hit-or-jump: An algorithm for embedded testing with applications to IN services, 41-56 [Zbl 0952.68007] \textit{Núñez, Manuel; Rupérez, David}, Fair testing through probabilistic testing, 135-150 [Zbl 0952.68091] \textit{Bi, Jun; Wu, Jianping}, A formal approach to conformance testing of distributed routing protocols, 151-163 [Zbl 0953.68501] \textit{Garavel, Hubert; Sighireanu, Mihaela}, A graphical parallel composition operator for process algebras, 185-202 [Zbl 0952.68097] \textit{Najm, Elie; Nimour, Abdelkrim; Stefani, Jean-Bernard}, Guaranteeing liveness in an object calculus through behavioral typing, 203-221 [Zbl 0953.68084] \textit{Peled, Doron; Vardi, Moshe Y.; Yannakakis, Mihalis}, Black box checking, 225-240 [Zbl 0952.68012] \textit{Dong, Yifei; Ramakrishnan, C. R.}, An optimizing compiler for efficient model checking, 241-256 [Zbl 0952.68035] \textit{Godefroid, Patrice}, Exploiting symmetry when model-checking software. (Extended abstract), 257-275 [Zbl 0953.68520] \textit{Hsiung, Pao-Ann; Wang, Farn}, User-friendly verification, 279-294 [Zbl 0953.68570] \textit{Schenke, Michael; Dossis, Michael}, Provably correct hardware compilation using timing diagrams, 313-331 [Zbl 0953.68513] \textit{Kim, Myungchul; Shin, Jaehwi; Chanson, Samuel T.; Kang, Sungwon}, An enhanced model for testing asynchronous communicating systems, 337-356 [Zbl 0951.68004] \textit{Seol, Soonuk; Kim, Myungchul; Kang, Sungwon; Park, Yongbum; Choe, Younghan}, Interoperability test suite derivation for the TCP, 357-376 [Zbl 0953.68502] \textit{Zhu, Jinsong; Vuong, Son T.}, Coverage analysis for embedded testing and an application, 377-386 [Zbl 0954.68006] \textit{de Frutos-Escrig, David; López, Natalia; Núñez, Manuel}, Global timed bisimulation: An introduction, 401-416 [Zbl 0954.68113] \textit{Khoumsi, Ahmed; von Bochmann, Gregor; Dssouli, Rachida}, Protocol synthesis for real-time applications, 417-433 [Zbl 0954.68007] \textit{Creese, S. J.; Roscoe, A. W.}, Verifying an infinite family of inductions simultaneously using data independence and FDR, 437-452 [Zbl 0954.68511]
scientific article; zbMATH DE number 1391173