Modeling and Verification of Parallel Processes: 4th Summer School, Movep 2000, Nantes, France, June 19-23, 2000 Revised Tutorial Lectures

by Movep 200 (2000 Nantes, France); Jard, Claude; Rozoy, Brigitte; Ryan, Mark Dermot; Cassez, Franck

• ISBN13: 9783540427872
• ISBN10: 3540427872
• Edition: 1st
• Format: Paperback
• Copyright: 2001-11-01
• Publisher: Springer Verlag

Summary

Computational Intelligence is a very dynamic domain of modern information society which integrates fields such as neural networks, fuzzy systems, evolutionary computation and intelligent systems in general. The book presents papers from the Euro-International Symposium on Computational Intelligence held in Kosice (Slovak Republic) in August 2000. It contains theoretical studies along with a chapter on applications and case studies. One of the main results of the symposium is that the combination of various techniques into hybrid intelligent systems will be very important for the development of intelligent information systems in the 21st century. The book also contains interesting forewords written by L.A. Zadeh, D.E. Goldberg, and K. Fukushima.

Table of Contents

Tutorials and Papers
Model Checking: A Tutorial Overview	3	(36)
Stephan Merz
Theorem Proving for Verification	39	(19)
John Rushby
Composition and Abstraction	58	(41)
Antti Valmari
Uppaal -- Now, Next, and Future	99	(26)
Tobias Amnell
Gerd Behrmann
Johan Bengtsson
Pedro R. D'Argenio
Alexandre David
Ansgar Fehnker
Thomas Hun
BertrJeannet
Kim G. Larsen
M. Oliver Moller
Paul Pettersson
Carsten Weise
Wang Yi
HMSCs as Partial Specifications... with PNs as Completions	125	(28)
Benoit Caillaud
Philippe Darondeau
Loic Helouet
Gilles Lesventes
Industrial Applications of Model Checking	153	(16)
Alessandro Cimatti
Formal Methods in Practice: The Missing Links, A Perspective from the Security Area	169	(14)
Dominique Bolignano
Daniel Le Metayer
Claire Loiseaux
Annotated Bibliographies
Verification of Systems with an Infinite State Space	183	(4)
Javier Esparza
Testing Transition Systems: An Annotated Bibliography	187	(9)
Ed Brinksma
Jan Tretmans
Fault Model-Driven Test Derivation from Finite State Models: Annotated Bibliography	196	(10)
Alexandre Petrenko
Mobile Processes: A Commented Bibliography	206	(17)
Silvano Dal Zilio
Author Index	223