Skip to content
@utrc

UTRC

Popular repositories Loading

  1. iml iml Public

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

    Xtend 3

  2. iml-generators iml-generators Public

    Java 1

Repositories

Showing 2 of 2 repositories
  • iml Public

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

    utrc/iml’s past year of commit activity
    Xtend 3 Apache-2.0 0 0 0 Updated Aug 30, 2022
  • iml-generators Public
    utrc/iml-generators’s past year of commit activity
    Java 1 Apache-2.0 0 0 0 Updated Aug 29, 2022

Top languages

Loading…

Most used topics

Loading…