Software Developed by aasenjo

  • Extend the Alloy model checker (Java) to more natively support the OO concepts of dynamic dispatch and inheritance.

    • Freeware (Free)
    • Windows