What is CADP?
Home Page Tools Overview Current Status
Installation
How to obtain CADP? Usage Statistics Issues & Patches
Documentation
Tutorials Publications Manual Pages Demo Examples FAQ
CADP Newsletters
Nr. 1 - Dec. 1996 Nr. 2 - Jun. 1997 Nr. 3 - Sep. 1997 Nr. 4 - Jan. 1999 Nr. 5 - Jul. 2001 Nr. 6 - Apr. 2007
CADP Community
Forum Education & Training Case Studies Research Tools
CADP Resources
VLTS Benchmarks Other Resources
About CADP
Contributors

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.

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:

• Génie Logiciel Methodes Formelles pour Protocoles et Architectures
  Burkhart Wolff
  Université Paris-Sud (France)

• Méthodes formelles de développement
  Hubert Garavel, Frédéric Lang, Pascal Raymond, and Wendelin Serwe
  CNAM - Grenoble (France)

• Modélisation et spécification
  Ahmed Bouajjani and Mihaela Sighireanu
  Université Paris 7 (France)

• Temps-Réel
  Frédéric Lang and Wendelin Serwe
  ENSIMAG - Grenoble INP (France)

• Théorie et pratique de la concurrence
  Mihaela Sighireanu
  Université Paris 7 (France)

• Systèmes distribués et temps réel
  Frédéric Lang and Wendelin Serwe
  ENSIMAG - Grenoble INP (France)
  

2008:

• 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)

• 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)
  Teaching material available (in Japanese)

• Spesifioinnin ja verifioinnin perusteet
  Timo Karvi
  University of Helsinki (Finland)
  Teaching material available (in Finnish)

• Systèmes distribués et temps réel
  Frédéric Lang and Wendelin Serwe
  ENSIMAG - Grenoble INP (France)
  

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:

• Ingénierie des protocoles de communication
  Luigi Logrippo
  University of Ottawa (Canada)
  Substantial teaching material available on-line
  

• 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)
  

• Requirement Analysis, Design and Verification
  Jan-Friso Groote
  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)
  

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:

• 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:

• Formal Methods
  Eerke Boiten, Howard Bowman, and John Derrick
  University of Kent at Canterbury (United Kingdom)
  December 2-6, 2002
  Industry-oriented training

• Software Engineering
  Samira Sadaoui
  University of Regina (Canada)
  Fall 2002
  

• Specification Methods for Distributed Systems
  Luigi Logrippo
  University of Ottawa (Canada)
  Substantial teaching material available on-line
  

• Systèmes distribués et temps réel
  Radu Mateescu and Hubert Garavel
  ENSIMAG - Institut National Polytechnique de Grenoble (France)
  

---

Version 1.38 last updated on 11/11/23 16:34:30

---

Back to the CADP Home Page