This work has received funding from the Electronic Component Systems for European Leadership (ECSEL) Joint Undertaking under grant agreements no 783162 (FitOpTiVis) and 101007260 (TRANSACT)
The tools were developed by
- Marc Geilen
- Martijn Hendriks
- Freek van den Berg
- Taco Olmer
This website uses the following tools and components.
- Node.js https://nodejs.org/
- React https://reactjs.org/
- mongo db https://www.mongodb.com/
- Express https://expressjs.com/
- NextJS https://nextjs.org/
- Passport http://www.passportjs.org/
- Z3 Theorem Prover https://github.com/Z3Prover/z3
- PlantUML https://plantuml.com/
- Monaco Editor https://microsoft.github.io/monaco-editor/