Skip to content
@ModelInference

ModelInference

Pinned Loading

  1. synoptic synoptic Public

    Inferring models of systems from observations of their behavior

    Java 83 25

  2. texada texada Public

    Efficient techniques for mining LTL formulae over linear input traces

    C++ 19 7

  3. dinv dinv Public

    Distributed invariant mining tool

    Go 7 1

Repositories

Showing 8 of 8 repositories
  • perfume-frontend Public

    Web-based frontend for Perfume tool

    ModelInference/perfume-frontend’s past year of commit activity
    JavaScript 1 0 21 0 Updated Jun 7, 2023
  • texada Public

    Efficient techniques for mining LTL formulae over linear input traces

    ModelInference/texada’s past year of commit activity
    C++ 19 7 25 0 Updated Apr 12, 2023
  • synoptic Public

    Inferring models of systems from observations of their behavior

    ModelInference/synoptic’s past year of commit activity
    Java 83 25 100 1 Updated Sep 6, 2022
  • modelinference.github.io Public
    ModelInference/modelinference.github.io’s past year of commit activity
    HTML 0 0 0 0 Updated Jun 6, 2022
  • dinv Public

    Distributed invariant mining tool

    ModelInference/dinv’s past year of commit activity
    Go 7 1 14 0 Updated Jun 1, 2020
  • SpecForge Public

    Ground-truth models used in the ASE 2015 SpecForge paper

    ModelInference/SpecForge’s past year of commit activity
    1 0 0 0 Updated Nov 18, 2016
  • bear Public

    Bear: Behavioral analysis of REST applications

    ModelInference/bear’s past year of commit activity
    Java 2 1 0 0 Updated Oct 19, 2016
  • perracotta Public

    A tool to infer a program's temporal properties

    ModelInference/perracotta’s past year of commit activity
    Java 5 0 0 0 Updated Dec 20, 2015

Top languages

Loading…

Most used topics

Loading…