Explore projects

Implementation for "Inferring Region Types via Abstract Transformations" (APLAS 2022)

GuideForce Implementation

AutoFOCUS 3 and OpenModelica models of the FF1 rovers.

Public repository for the Maturity Model / Matrix