Skip to content
@Contract-LIB

Contract-LIB

README.md

Contract-LIB

Contract-LIB is a language that allows to declare abstractions and define contracts based on them in independently from the concrete programming language or verifier. We provide several tools to convert the Contract-LIB format into concrete programming and specification languages, such as Java + Java Modeling Language (JML) for KeY, Dafny, Java for VeriFast, ...

For more information, visit our website: https://contract-lib.github.io

Pinned Loading

  1. contract-lib-java contract-lib-java Public

    Contract-LIB proposal and tool-chain

    Java 2 1

  2. contract-lib.github.io contract-lib.github.io Public

    Repository of the Contract-LIB website

    Ruby

  3. contract-lib-jml-converter contract-lib-jml-converter Public

    Converter from Contract-LIB to JML

    Java

  4. contract-lib-exporter contract-lib-exporter Public

    Experimental tool to export contract-lib specifications to a variety of oop verification frameworks.

    Java

Repositories

Showing 5 of 5 repositories
  • contract-lib-exporter Public

    Experimental tool to export contract-lib specifications to a variety of oop verification frameworks.

    Contract-LIB/contract-lib-exporter’s past year of commit activity
    Java 0 0 0 0 Updated Dec 20, 2024
  • .github Public
    Contract-LIB/.github’s past year of commit activity
    0 0 0 0 Updated Dec 20, 2024
  • contract-lib.github.io Public

    Repository of the Contract-LIB website

    Contract-LIB/contract-lib.github.io’s past year of commit activity
    Ruby 0 0 0 0 Updated Dec 20, 2024
  • contract-lib-java Public

    Contract-LIB proposal and tool-chain

    Contract-LIB/contract-lib-java’s past year of commit activity
    Java 2 MIT 1 0 0 Updated Dec 19, 2024
  • contract-lib-jml-converter Public

    Converter from Contract-LIB to JML

    Contract-LIB/contract-lib-jml-converter’s past year of commit activity
    Java 0 0 0 0 Updated Dec 16, 2024

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…