Modeling and verification of parallel processes. 4th Summer school, MOVEP 2000, Nantes, France, June 19--23, 2000. Revised tutorial lectures (Q5949703)

The articles of mathematical interest will be reviewed individually. Indexed articles: \textit{Merz, Stephan}, Model checking: A tutorial overview, 3-38 [Zbl 0986.68063] \textit{Rushby, John}, Theorem proving for verification, 39-57 [Zbl 0986.68520] \textit{Valmari, Antti}, Composition and abstraction, 58-98 [Zbl 0985.68036] \textit{Amnell, Tobias; Behrmann, Gerd; Bengtsson, Johan; D'Argenio, Pedro R.; David, Alexandre}, UPPAAL -- now, next, and future, 99-124 [Zbl 0985.68664] \textit{Caillaud, Benoit; Darondeau, Philippe; Hélouët, Loïc; Lesventes, Gilles}, HMSCs as partial specifications . . . with PNs as completions, 125-152 [Zbl 0985.68037] \textit{Cimatti, Alessandro}, Industrial applications of model checking, 153-168 [Zbl 0985.68653] \textit{Bolignano, Dominique; Le Métayer, Daniel; Loiseaux, Claire}, Formal methods in practice: The missing links. A perspective from the security area, 169-180 [Zbl 0985.68673] \textit{Esparza, Javier}, Verification of systems with an infinite state space, 183-186 [Zbl 0985.68667] \textit{Brinksma, Ed; Tretmans, Jan}, Testing transition systems: An annotated bibliography, 187-195 [Zbl 0985.68661] \textit{Petrenko, Alexandre}, Fault model-driven test derivation from finite state models: Annotated bibliography, 196-205 [Zbl 0985.68677] \textit{Dal Zilio, Silvano}, Mobile processes: A commented bibliography, 206-222 [Zbl 0985.68524]