Skip to content
@liflab

Laboratoire d'informatique formelle

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

Pinned

  1. beepbeep-3 beepbeep-3 Public

    An event stream processor anyone can use

    Java 21 17

  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 66 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…