Academic and Professional Training using the CADP Toolset

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:

2023:

2022:

2021:

2020:

2019:

2018:

2017:

2016:

2015:

2014:

2013:

2012:

2011:

2010:

2009:

2008:

2007:

2006:

2005:

2004:

2003:

2002:



Version 1.83 last updated on 2024/06/11 12:50:40

Back to the CADP Home Page