This a project for the lesson "Outils formels avancés".
The goal of this project is:
- find a "problem" we want to detect. Here it's some race problems with asynchronous functions
- define some abstract data type
- use this ADT to do formel proof on the property/"problems"
We will use:
- stew (github repo )
- ast
- flask
- asyncio
To reach the previous goals.
You can learn and understand our structur with the tests. It show how to use the ADT.