Laboratoire d'informatique formelle
Academic research lab focusing on the development of tools for software specification, testing and verification
- 5 followers
- Université du Québec à Chicoutimi, Québec, Canada
- https://liflab.ca
- shalle@acm.org
Pinned Loading
Repositories
Showing 10 of 70 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 - beepbeep-3-groovy-bridge Public
liflab/beepbeep-3-groovy-bridge’s past year of commit activity - tecuoptitep Public
liflab/tecuoptitep’s past year of commit activity - lif-dag Public
liflab/lif-dag’s past year of commit activity - lif-toolbox Public
liflab/lif-toolbox’s past year of commit activity
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…