We give here a (non-exhaustive) list of courses and teaching material that make use of the CADP toolset.
We are looking forward to keeping this list up to date. If you have new material to be referenced in this list, please contact cadp@inria.fr.
2012:
2011:
-
Modélisation et Vérification des Systèmes Concurrent et Temps-Réel
Frédéric Lang and Wendelin Serwe
ENSIMAG - Grenoble INP (France)
2010:
-
Formale Programmentwicklung
Prof. B. Beckert, Prof. P. H. Schmitt, Thorsten Bormer, Daniel Bruns, David Faragó, Vladimir Klebanov, Mattias Ulbrich, and Benjamin Weiß
Karlsruhe University (Germany)
-
Ingénierie des protocoles de communication
Luigi Logrippo
University of Ottawa (Canada)
Substantial teaching material available on-line
-
Méthodes formelles de développement
Hubert Garavel, Frédéric Lang, Pascal Raymond, and Wendelin Serwe
CNAM - Grenoble (France)
-
Méthodes formelles pour la conception des logiciels
Pascal Poizat
Université d'Evry (France)
-
Modélisation et spécification
Ahmed Bouajjani and Mihaela Sighireanu
Université Paris 7 (France)
-
Modélisation et Vérification des Systèmes Concurrent et Temps-Réel
Frédéric Lang and Wendelin Serwe
ENSIMAG - Grenoble INP (France)
-
Protocol Verification by using LOTOS and Tools
Katsumi Wasaki
Faculty of Engineering, Shinshu University, Nagano (Japan)
Teaching material available (in Japanese)
-
Théorie et pratique de la concurrence
Mihaela Sighireanu
Université Paris 7 (France)
2009:
2008:
2007:
-
Modélisation et spécification
Ahmed Bouajjani and Mihaela Sighireanu
Université Paris 7 (France)
-
Protocol and Software Testing
Mihaela Sighireanu
Université Paris 7 (France)
-
Protocol Verification by using LOTOS and Tools
Katsumi Wasaki
Faculty of Engineering, Shinshu University, Nagano (Japan)
-
Systèmes distribués et temps réel
Frédéric Lang and Wendelin Serwe
ENSIMAG - Grenoble INP (France)
2006:
2005:
-
Génie Logiciel : Aspects dynamiques
Pascal Poizat
Université d'Evry (France)
-
Ingénierie du logiciel dans les réseaux informatiques
Guy Leduc
Université de Liège (Belgium)
-
Protocol Verification by using LOTOS and Tools
Katsumi Wasaki
Faculty of Engineering, Shinshu University, Nagano (Japan)
-
Requirement Analysis, Design and Verification
Jan-Friso Groote and Jaco van de Pol
Eindhoven University of Technology (The Netherlands)
-
Systèmes distribués et temps réel
Frédéric Lang and Wendelin Serwe
ENSIMAG - Institut National Polytechnique de Grenoble (France)
-
Théorie et pratique de la concurrence
Mihaela Sighireanu
Université Paris 7 (France)
2004:
-
Asynchronous Circuits: The Modular Approach
Michael Yoeli
Technion, Haifa (Israel)
-
Computer-Aided Analysis of Parallel Systems
Michael Yoeli
Technion, Haifa (Israel)
-
Formal Specification and Verification of Digital Designs
Michael Yoeli
Technion, Haifa (Israel)
-
Génie Logiciel : Aspects dynamiques
Pascal Poizat
Université d'Evry (France)
-
Protocol Verification by using LOTOS and Tools
Katsumi Wasaki
Faculty of Engineering, Shinshu University, Nagano (Japan)
-
Requirement Analysis, Design and Verification
Jan-Friso Groote and Jaco van de Pol
Eindhoven University of Technology (The Netherlands)
-
Systèmes distribués et temps réel
Radu Mateescu and Wendelin Serwe
ENSIMAG - Institut National Polytechnique de Grenoble (France)
-
Théorie et pratique de la concurrence
Mihaela Sighireanu
Université Paris 7 (France)
-
Validation des systèmes à logiciel prépondérant
Thomas Lambolais
Ecole des Mines d'Alès (France)
2003:
-
A Basic LOTOS/CADP oriented Process Algebra with Applications
Michael Yoeli
Department of Computer Science, The Technion, Haifa (Israel)
July 2003
-
Distributed Computing Theory
Bruce McMillin
University of Missouri at Rolla (USA)
-
Formal Methods
Eerke Boiten, Howard Bowman, and John Derrick
University of Kent at Canterbury (United Kingdom)
December 1-5, 2003
-
Formal Methods - Theory & Practice
Samira Sadaoui
University of Regina (Canada)
-
Ingénierie du logiciel dans les réseaux informatiques
Guy Leduc and Nicolas Bonmariage
Université de Liège (Belgium)
-
Projects in Logic Design
Michael Yoeli and Nissim Etrog
Technion, Haifa (Israel)
-
Protocol Verification by using LOTOS and Tools
Katsumi Wasaki
Faculty of Engineering, Shinshu University, Nagano (Japan)
-
Requirement Analysis, Design and Verification
Jan-Friso Groote and Jaco van de Pol
Eindhoven University of Technology (The Netherlands)
-
Sisteme de Programe pentru Retele de Calculatoare
Valentin Cristea and Gavril Godza
Polytechnic University of Bucharest (Romania)
-
Spécifications formelles
Michel Allemand, Christian Attiogbé, and Jean-Claude Royer
DESS de Génie Informatique, Université de Nantes (France)
-
Systèmes distribués et temps réel
Radu Mateescu
ENSIMAG - Institut National Polytechnique de Grenoble (France)
2002:
Version 1.46 last updated on 2015/08/21 17:05:32
Back to the CADP Home Page
