Skip to content

@OpenJML-SeniorDesign OpenJML-SeniorDesign

Change the repository type filter

All

    Repositories list

    3 repositories

    • OpenJML-Quantifiers

      Public
      Senior Design OpenJML Quantifier Project
      javaverificationopenjml
      javaverificationopenjml
      SMT
      •0•0•0•0•Updated Apr 21, 2022Apr 21, 2022

    • OpenJML

      Public
      This is the primary repository for the source code of the OpenJML project. The source code is licensed under GPLv2 because it derives from OpenJDK which is so l…
      Java
      •38•0•0•0•Updated Apr 19, 2022Apr 19, 2022

    • jSMTLIB

      Public
      jSMTLIB is an open source implementation of SMT-LIB in Java, as a command-line tool, an Eclipse plugin, and an API, with interfaces to many SMT solvers.
      Java
      •16•0•0•0•Updated Oct 20, 2021Oct 20, 2021
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.