MaDL is a language to formally model and analyse micro-architectures.
This is the public repository containing tools for the analysis of models written in MaDL.
For more information please contact j.schmaltz@tue.nl.
Before GitHub, the main authors behind MaDL are in alphabetical order: T. Belder, S. Joosten, F. Verbeek, H. de Vloed, W. Wesselink, S. Wouda.