Name: MODELS Team @ IT University of Copenhagen
Type: Organization
Bio: Public projects archive of the former MODELS-TEAM at IT University of Copenhagen. The team has levelled up to the Software Quality Research Group (SQUARE).
Location: Copenhagen, Denmark
Blog: https://square.itu.dk
MODELS Team @ IT University of Copenhagen's Projects
Tool accompanying "Effective Analysis of C Programs by Rewriting Variability" ‹Programming› 2017 paper
Formalization of Featherweight VML in Coq
Benchmarks for `p3-tool`
A reconfigurator tool for fPromela with support for variability abstractions.
Quantifying Errors in Linux Kernel
Symbolic Executor for the High-Level Transformation Language TRON
The xtc project including SuperC and Kmax