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 beepbeep-3 Public

    An event stream processor anyone can use

    Java 25 16

  2. beepbeep-3-palettes beepbeep-3-palettes Public

    A bundle of user-contributed extensions to BeepBeep 3

    Java 6 6

  3. labpal labpal Public

    Easily run experiments on a computer

    Java 2 3

  4. sealtest sealtest Public

    A library for generating test sequences according to various algorithms

    Java 3 2

  5. petitpoucet petitpoucet Public

    Trace data points back to their source

    Java 2 3

Repositories

Showing 10 of 69 repositories
  • pattern-detection-lab Public archive

    A study of pattern detection strategies using runtime verification

    liflab/pattern-detection-lab’s past year of commit activity
    Java 0 GPL-3.0 0 0 0 Updated Oct 21, 2024
  • beepbeep-3 Public

    An event stream processor anyone can use

    liflab/beepbeep-3’s past year of commit activity
    Java 25 LGPL-3.0 16 20 1 Updated Oct 10, 2024
  • hypercompliance Public

    A BeepBeep palette to evaluate hyperqueries on event logs

    liflab/hypercompliance’s past year of commit activity
    Java 0 0 0 0 Updated Oct 8, 2024
  • liflab/beepbeep-3-groovy-bridge’s past year of commit activity
    Java 0 0 1 0 Updated Sep 4, 2024
  • beepbeep-3-palettes Public

    A bundle of user-contributed extensions to BeepBeep 3

    liflab/beepbeep-3-palettes’s past year of commit activity
    Java 6 LGPL-3.0 6 4 1 Updated Sep 4, 2024
  • liflab/tecuoptitep’s past year of commit activity
    Java 0 1 0 0 Updated Aug 27, 2024
  • lif-dag Public
    liflab/lif-dag’s past year of commit activity
    Java 0 0 0 0 Updated Jul 11, 2024
  • liflab/lif-toolbox’s past year of commit activity
    Java 0 0 0 0 Updated Jul 11, 2024
  • liflab/shaded-compliance’s past year of commit activity
    Java 0 LGPL-3.0 0 0 0 Updated Jul 5, 2024
  • symbolic-beepbeep Public archive

    Modeling of BeepBeep processors in NuSMV

    liflab/symbolic-beepbeep’s past year of commit activity
    Java 0 GPL-3.0 0 0 0 Updated Jun 24, 2024

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…