Giters
ModelInference

ModelInference

Geek Repo

Github PK Tool:Github PK Tool

ModelInference's repositories

synoptic

Inferring models of systems from observations of their behavior

Language:JavaLicense:NOASSERTIONStargazers:81Issues:11Issues:419

texada

Efficient techniques for mining LTL formulae over linear input traces

Language:C++License:NOASSERTIONStargazers:19Issues:3Issues:85

dinv

Distributed invariant mining tool

Language:GoStargazers:7Issues:2Issues:40

perracotta

A tool to infer a program's temporal properties

Language:JavaStargazers:5Issues:3Issues:1

bear

Bear: Behavioral analysis of REST applications

Language:JavaStargazers:2Issues:3Issues:0

perfume-frontend

Web-based frontend for Perfume tool

Language:JavaScriptLicense:NOASSERTIONStargazers:1Issues:3Issues:119

SpecForge

Ground-truth models used in the ASE 2015 SpecForge paper

Stargazers:1Issues:0Issues:0

modelinference.github.io

Language:HTMLStargazers:0Issues:3Issues:0