Name: Laboratoire d'informatique formelle
Type: Organization
Bio: Academic research lab focusing on the development of tools for software specification, testing and verification
Location: Université du Québec à Chicoutimi, Québec, Canada
Blog: https://liflab.ca
Laboratoire d'informatique formelle's Projects
Manipulate peer-action sequences inside PDF forms
A library for managing peer-action sequences within document metadata
A BeepBeep palette for Blockchain
An event stream processor anyone can use
Animated examples of BeepBeep 3 processor chains
User guide for the BeepBeep 3 event stream processing engine
A large repository of code examples using BeepBeep and various palettes
BeepBeep 3 extension to handle PCAP capture files
A bundle of user-contributed extensions to BeepBeep 3
A multi-interpreter for BeepBeep 3
Bitmap manipulation for LTL formulas in BeepBeep
A benchmark for BeepBeep's lineage functionalities
Modelling of the ParTraP trace properties using the BeepBeep event stream processor
Dépôt Git du projet BRPC 2020
Versatile web application testing tool
A Cornipickle probe for Android applications
Performance measurements for the Cornipickle interpreter
A JUnit and Selenium WebDriver extension to check and explain assertions on web pages.
A plugin for Crawljax using Cornipickle testing tool.
Simple tools for cryptographic operations in Java
A BeepBeep palette for manipulating Excel spreadsheets
Benchmark for the Hibernate palette in BeepBeep