IML (Intermediate Modeling Language) is a formal, expressive, and flexible language that designed to close the gap between design domain and formal verification tools.
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool