Laboratoire d'informatique formelle
Academic research lab focusing on the development of tools for software specification, testing and verification
- 4 followers
- Université du Québec à Chicoutimi, Québec, Canada
- https://liflab.ca
- shalle@acm.org
Pinned Loading
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 - 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-toolbox Public
liflab/lif-toolbox’s past year of commit activity - shaded-compliance Public
liflab/shaded-compliance’s past year of commit activity