Projects
Besides non-disclosed projects, I am responsible or involved in the following public projects.
Joint TU/LMU Munich PhD School Program and Model Analysis
libalf - The Automata Learning Framework (joint project with ENS Cachan and RWTH Aachen)
Runtime Verification - From Aereospace to Automotive
(joint project with NASA JPL, supported by
BaCaTeC
)
DivSpin
Runtime Reflection
SALT
SMyLE
(joint project with ENS Cachan and RWTH Aachen, supported by Procope)
Martin Leucker
Last modified: Wed Feb 18 17:31:54 CET 2009