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 Wikipedia
CADP Community
Newsletters 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.

2024:

• Communication and Concurrency
  Cinzia Di Giusto
  Université Nice Côte d'Azur, Nice (France)

  Formal Methods
  Tomasz Szmuc and Wojciech Szmuc
  AGH University, Krakow (Poland)

• Mission Critical Systems (EECS 4315)
  Lina Marsso
  York University, Toronto (Canada)

• Models and Languages for Model Checking
  Frédéric Lang and Radu Mateescu
  ENSIMAG Grenoble INP

• Safety Critical Systems: From Design to Verification
  Frédéric Lang
  Master of Science in Informatics at Grenoble - Univ. Grenoble Alpes (France)

• Software Engineering - Formal Software Development Methods
  Frédéric Lang
  Master of Science in Informatics at Grenoble - Univ. Grenoble Alpes (France)

2023:

• Formal Methods
  Tomasz Szmuc and Wojciech Szmuc
  AGH University, Krakow (Poland)

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

  Teaching material available (in French)

• Models and Languages for Model Checking
  Frédéric Lang and Radu Mateescu
  ENSIMAG Grenoble INP - Master of Science in Informatics at Grenoble (France)

• Software Engineering - Formal Software Development Methods
  Frédéric Lang
  Master of Science in Informatics at Grenoble - Univ. Grenoble Alpes (France)

2022:

• Formal Methods
  Tomasz Szmuc and Wojciech Szmuc
  AGH University, Krakow (Poland)

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

• Projets informatiques : méthodes et outils
  Introduction aux algèbres de processus : définition textuelle et structurée de systèmes à l'aide de l'outil CADP
  Nicole Levy
  CNAM Paris (France)
  

  Teaching material available (in French)

• Models and Languages for Model Checking
  Frédéric Lang and Radu Mateescu
  ENSIMAG Grenoble INP - Master of Science in Informatics at Grenoble (France)

• Software Engineering - Formal Software Development Methods
  Frédéric Lang
  Master of Science in Informatics at Grenoble - Univ. Grenoble Alpes (France)

• System Design: Concurrency, Real-Time, Stochastics, and Analog/Digital
  Thao Dang, Hubert Garavel, Frédéric Lang, Claire Maiza, and Radu Mateescu
  Master of Science in Informatics at Grenoble - Univ. Grenoble Alpes and ENSIMAG Grenoble INP (France)

2021:

• Formal Methods
  Tomasz Szmuc and Wojciech Szmuc
  AGH University, Krakow (Poland)

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

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

  Teaching material available: [1] [2] [3] [4] [5] [6] [7] [8] with exercises: [9] [10]

• Models and Languages for Model Checking
  Frédéric Lang and Radu Mateescu
  ENSIMAG Grenoble INP - Master of Science in Informatics at Grenoble (France)

• Projets informatiques : méthodes et outils
  Introduction aux algèbres de processus : définition textuelle et structurée de systèmes à l'aide de l'outil CADP
  Nicole Levy
  CNAM Paris (France)

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

  Teaching material available (in Japanese)

• Software Engineering - Formal Software Development Methods
  Frédéric Lang
  Master of Science in Informatics at Grenoble - Univ. Grenoble Alpes (France)

• System Design: Concurrency, Real-Time, Stochastics, and Analog/Digital
  Thao Dang, Hubert Garavel, Frédéric Lang, Claire Maiza, and Radu Mateescu
  Master of Science in Informatics at Grenoble - Univ. Grenoble Alpes and ENSIMAG Grenoble INP (France)

2020:

• Formal Methods
  Tomasz Szmuc and Wojciech Szmuc
  AGH University, Krakow (Poland)

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

• Models and Languages for Model Checking
  Frédéric Lang and Radu Mateescu
  ENSIMAG Grenoble INP - Master of Science in Informatics at Grenoble (France)

• Projets informatiques : méthodes et outils
  Introduction aux algèbres de processus : définition textuelle et structurée de systèmes à l'aide de l'outil CADP
  Nicole Levy
  CNAM Paris (France)

• Software Engineering - Formal Software Development Methods
  Frédéric Lang
  Master of Science in Informatics at Grenoble - Univ. Grenoble Alpes (France)

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

2019:

• Formal Methods
  Maciej Szymkat
  AGH University, Krakow (Poland)

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

• Méthodes formelles de vérification
  Mihaela Sighireanu
  Université Paris Diderot (France)

• Models and Languages for Model Checking
  Frédéric Lang and Radu Mateescu
  ENSIMAG Grenoble INP - Master of Science in Informatics at Grenoble (France)

• Software Engineering - Formal Software Development Methods
  Frédéric Lang
  Master of Science in Informatics at Grenoble - Univ. Grenoble Alpes (France)

2018:

• Formal Methods
  Maciej Szymkat
  AGH University, Krakow (Poland)

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

• Méthodes formelles de vérification
  Mihaela Sighireanu
  Université Paris Diderot (France)

• Models and Languages for Model Checking
  Frédéric Lang and Radu Mateescu
  ENSIMAG Grenoble INP - Master of Science in Informatics at Grenoble (France)

• Probabilistic, timed, and hybrid systems
  Thao Dang, Hubert Garavel, and Claire Maiza
  Master of Science in Informatics at Grenoble - Univ. Grenoble Alpes (France)

• Software Engineering - Formal Software Development Methods
  Frédéric Lang
  Master of Science in Informatics at Grenoble - Univ. Grenoble Alpes (France)

2017:

• Formal Methods
  Maciej Szymkat
  AGH University, Krakow (Poland)

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

• Méthodes formelles de vérification
  Mihaela Sighireanu
  Université Paris Diderot (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)

• Performance and quantitative properties
  Goran Frehse, Hubert Garavel, Claire Maiza, and Sophie Quinton
  Master of Science in Informatics at Grenoble - Univ. Grenoble Alpes (France)

• Software Engineering - Formal Methods
  Frédéric Lang
  Master of Science in Informatics at Grenoble - Univ. Grenoble Alpes (France)

2016:

• Formal Methods
  Konrad Kułakowski
  AGH University, Krakow (Poland)

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

• Méthodes formelles de vérification
  Mihaela Sighireanu
  Université Paris Diderot (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)

• Performance and quantitative properties
  Goran Frehse, Hubert Garavel, Claire Maiza, and Sophie Quinton
  Master of Science in Informatics at Grenoble - Univ. Grenoble Alpes (France)

• Protocol Verification
  Wan Fokkink and Clemens Grabmayer
  Vrije Universiteit Amsterdam (The Netherlands)

• Software Engineering - Formal Methods
  Frédéric Lang
  Master of Science in Informatics at Grenoble - Univ. Grenoble Alpes (France)

2015:

• Formal Methods
  Konrad Kułakowski
  AGH University, Krakow (Poland)

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

• Méthodes formelles de vérification
  Mihaela Sighireanu
  Université Paris Diderot (France)

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

• Protocol Verification
  Wan Fokkink and Clemens Grabmayer
  Vrije Universiteit Amsterdam (The Netherlands)

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

2014:

• Formal Methods
  Konrad Kułakowski
  AGH University, Krakow (Poland)

• Méthodes formelles de vérification
  Mihaela Sighireanu
  Université Paris Diderot (France)

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

  Teaching material available: [1] [2] [3] [4] [5] [6]

• Construction Formelle de Logiciels - LOTOS NT
  Christian Attiogbé and Meriem Ouederni
  Université de Nantes (France)

  Teaching material available (in French): [1] [2] [3] [4] [5]

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

• Protocol Verification
  Wan Fokkink and David M. Williams
  Vrije Universiteit Amsterdam (The Netherlands)

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)

• Protocol Verification
  Wan Fokkink and David M. Williams
  Vrije Universiteit Amsterdam (The Netherlands)

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)
  

  Teaching material available

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

• Méthodes formelles - Modélisation des processus communicants
  Christian Attiogbé
  Université de Nantes (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
  Wan Fokkink, Rena Bakhshi, and Joerg Endrullis
  Vrije Universiteit Amsterdam (The Netherlands)

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

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

  Teaching material available

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

• Méthodes formelles - Modélisation des processus communicants
  Christian Attiogbé
  Université de Nantes (France)

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

• Protocol Verification
  Wan Fokkink, Rena Bakhshi, and Joerg Endrullis
  Vrije Universiteit Amsterdam (The Netherlands)

• 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 - Modélisation des processus communicants
  Christian Attiogbé
  Université de Nantes (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)

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

• Protocol Verification
  Wan Fokkink, Rena Bakhshi, and Joerg Endrullis
  Vrije Universiteit Amsterdam (The Netherlands)

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

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

• Méthodes formelles - Modélisation des processus communicants
  Christian Attiogbé
  Université de Nantes (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
  Wan Fokkink, Rena Bakhshi, and Joerg Endrullis
  Vrije Universiteit Amsterdam (The Netherlands)

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

• 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
  Wan Fokkink and Joerg Endrullis
  Vrije Universiteit Amsterdam (The Netherlands)

• 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
  Wan Fokkink and Joerg Endrullis
  Vrije Universiteit Amsterdam (The Netherlands)

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

  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.84 last updated on 2024/12/12 16:38:34

---

Back to the CADP Home Page