A web application for first-order model checking in graph structures.
This project and the accompanying bachelor's thesis were inspired by the research group Theoretical Computer Science / Formal Methods by the University of Kassel. The parsing and validation logic of the backend is built upon a Java desktop application by Arno Ehle and Benedikt Hruschka.
Note: This project is also known as gramoFO.
- 🛠 Graph Editor: Interactive graph editor with support for touch controls
- ✨ Model Checking: First-order-logic model checking in graph structures
- 💹 Feedback: Three different feedback levels provide insight on model-checking results
- ☑️ Assignments: Various assignments, which build an understanding for first-order logic and model checking
- 🔒 Import/Export: Graphs can be saved locally as wells as exported and imported as JSON and YAML
- 📱/💻 Responsive: Optimized for screens of all sizes
- 📶 PWA: Apollo is installable and supports offline editing of graphs
- 🌐 Localization: Fully localized in English and German
- 🌗 Themes: Dark and light designs
BSD 3-Clause License - Copyright © Jan Müller