What is CADP?
Home Page Tools Overview Current Status Recent Changes
Installation
How to obtain CADP? Usage Statistics
Documentation
FAQ Tutorials Publications Manual Pages Demo Examples Newsletters Wikipedia
CADP Community
Forum Education & Training Case Studies Research Tools
CADP Resources
VLSAT Benchmarks 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.

2021:

• Introduction à la vérification comportementale
  François Vernadat
  INSA-DGEI and LAAS-CNRS, Toulouse (France)
  Teaching material available (in French)

• Modélisation et vérification
  Luca Di Stefano
  Polytech Paris Saclay (France)

• Protocol Verification by using LOTOS and Tools
  Katsumi Wasaki
  Faculty of Engineering, Shinshu University, Nagano (Japan)
  Teaching material available (in Japanese)

2020:

• Formal Software Development Methods
  Frédéric Lang
  Univ. Grenoble Alpes (France)

• Models and Languages for Model Checking
  Frédéric Lang and Radu Mateescu
  Univ. Grenoble Alpes and ENSIMAG - Grenoble INP (France)

• Verification and Test Theories
  Susanne Graf, Ioannis Parissis, and Wendelin Serwe
  Univ. Grenoble Alpes and ENSIMAG - Grenoble INP (France)

2019:

• Formal Software Development Methods
  Frédéric Lang
  Univ. Grenoble Alpes (France)

• Models and Languages for Model Checking
  Frédéric Lang and Radu Mateescu
  Univ. Grenoble Alpes and ENSIMAG - Grenoble INP (France)

2018:

• Formal Software Development Methods
  Frédéric Lang
  Univ. Grenoble Alpes (France)

• Models and Languages for Model Checking
  Frédéric Lang and Radu Mateescu
  Univ. Grenoble Alpes and ENSIMAG - Grenoble INP (France)

2017:

• Formal Software Development Methods
  Frédéric Lang
  Univ. Grenoble Alpes (France)

• Modélisation et vérification des systèmes concurrents et temps-réel
  Frédéric Lang
  ENSIMAG - Grenoble INP (France)

• Models for Concurrency: Temporal Logics, Equivalences, Formal Languages, and Verification
  Frédéric Lang, Radu Mateescu, Gwen Salaün, and Wendelin Serwe
  Univ. Grenoble Alpes (France)

2016:

• Formal Methods
  Frédéric Lang
  Univ. Grenoble Alpes (France)

• Modélisation et vérification des systèmes concurrents et temps-réel
  Frédéric Lang
  ENSIMAG - Grenoble INP (France)

• Models for Concurrency: Temporal Logics, Equivalences, Formal Languages, and Verification
  Frédéric Lang, Radu Mateescu, Gwen Salaün, and Wendelin Serwe
  Univ. Grenoble Alpes (France)

• Probabilistic Models, Stochastic Models, and Static/Dynamic Fault Trees
  Hubert Garavel
  Univ. Grenoble Alpes (France)

2015:

• Formal Methods
  Frédéric Lang
  Univ. Grenoble Alpes (France)

• Modélisation et vérification des systèmes concurrents et temps-réel
  Gwen Salaün
  ENSIMAG - Grenoble INP (France)

2014:

• Protocol and Software Testing
  Mihaela Sighireanu
  Université Paris Diderot (France)

• Spécification et vérification des systèmes concurrents et temps-réel
  Frédéric Lang and Wendelin Serwe
  ENSIMAG - Grenoble INP (France)

2013:

• Spécification et Vérification des systèmes concurrents et temps-réel
  Frédéric Lang and Wendelin Serwe
  ENSIMAG - Grenoble INP (France)

2012:

• Applied Concurrency Theory
  Hubert Garavel - Assistant: Alexander Graf-Brill
  Saarland University (Germany)

• LOTOS NT : Modélisation et Vérification - Construction Formelle de Logiciels
  Christian Attiogbé and Meriem Ouederni
  Université de Nantes (France)

• Modélisation et Vérification des Systèmes Concurrents et Temps-Réel
  Frédéric Lang and Wendelin Serwe
  ENSIMAG - Grenoble INP (France)

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:

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

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

• 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.58 last updated on 2021/05/07 16:55:33

---

Back to the CADP Home Page