Skip to content
@liflab

Laboratoire d'informatique formelle

Academic research lab focusing on the development of tools for software specification, testing and verification

Pinned Loading

  1. beepbeep-3 Public

    An event stream processor anyone can use

    Java 26 16

  2. beepbeep-3-palettes Public

    A bundle of user-contributed extensions to BeepBeep 3

    Java 6 6

  3. labpal Public

    Easily run experiments on a computer

    Java 2 3

  4. sealtest Public

    A library for generating test sequences according to various algorithms

    Java 3 2

  5. petitpoucet Public

    Trace data points back to their source

    Java 2 3

Repositories

Showing 10 of 70 repositories
  • liflab.github.io Public

    LIF website

    HTML 0 0 0 0 Updated Feb 22, 2025
  • synthia Public

    A configurable synthesizer of complex data structures

    Java 8 GPL-3.0 1 14 (1 issue needs help) 1 Updated Jan 16, 2025
  • pattern-detection-lab Public archive

    A study of pattern detection strategies using runtime verification

    Java 0 GPL-3.0 0 0 0 Updated Oct 21, 2024
  • beepbeep-3 Public

    An event stream processor anyone can use

    Java 26 LGPL-3.0 16 20 1 Updated Oct 10, 2024
  • hypercompliance Public

    A BeepBeep palette to evaluate hyperqueries on event logs

    Java 0 0 0 0 Updated Oct 8, 2024
  • beepbeep-3-groovy-bridge Public
    Java 0 0 1 0 Updated Sep 4, 2024
  • beepbeep-3-palettes Public

    A bundle of user-contributed extensions to BeepBeep 3

    Java 6 LGPL-3.0 6 4 1 Updated Sep 4, 2024
  • tecuoptitep Public
    Java 0 1 0 0 Updated Aug 27, 2024
  • lif-dag Public
    Java 0 0 0 0 Updated Jul 11, 2024
  • lif-toolbox Public
    Java 0 0 0 0 Updated Jul 11, 2024
View all repositories

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…