Repositories list

• perfume-frontend

  Public
  Web-based frontend for Perfume tool

  JavaScript

  •

  Other

  •0•1•21•0•Updated Jun 7, 2023Jun 7, 2023

• texada

  Public
  Efficient techniques for mining LTL formulae over linear input traces

  C++

  •

  Other

  •7•19•25•0•Updated Apr 12, 2023Apr 12, 2023

• synoptic

  Public
  Inferring models of systems from observations of their behavior

  Java

  •

  Other

  •25•83•100•1•Updated Sep 6, 2022Sep 6, 2022

• modelinference.github.io

  Public
  HTML

  •0•0•0•0•Updated Jun 6, 2022Jun 6, 2022

• dinv

  Public
  Distributed invariant mining tool

  Go

  •1•7•14•0•Updated Jun 1, 2020Jun 1, 2020

• SpecForge

  Public
  Ground-truth models used in the ASE 2015 SpecForge paper

  0•1•0•0•Updated Nov 18, 2016Nov 18, 2016

• bear

  Public
  Bear: Behavioral analysis of REST applications

  Java

  •1•2•0•0•Updated Oct 19, 2016Oct 19, 2016

• perracotta

  Public
  A tool to infer a program's temporal properties

  Java

  •0•5•0•0•Updated Dec 20, 2015Dec 20, 2015