Clafer is a lightweight structural and behavioral modeling language.
More more information, visit the new official website: clafer.org
Opportunities
We are looking for postdocs and graduate students interested in working on all aspects of autonomous driving.
For more information, visit Open positions.