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:
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:
2008:
2007:
2006:
2005:
2004:
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.58 last updated on 2021/05/07 16:55:33
Back to the CADP Home Page