Geek Repo
Github PK Tool:Github PK Tool
An static analyzer for ATL
A2L: A compiler for ATL based on AnATLyzer static analysis
Website for AnATLyzer
Simplification of OCL expressions