• Inferring models of systems from observations of their behavior

    Java 32 15 Updated May 11, 2018
  • Ground-truth models used in the ASE 2015 SpecForge paper

    Updated Nov 18, 2016
  • Bear: Behavioral analysis of REST applications

    Java 1 1 Updated Oct 19, 2016
  • A tool to infer a program's temporal properties

    Java 3 Updated Dec 20, 2015