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