apollo.yeger.eu

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

• Apollo-Frontend
• Apollo-Backend
• Apollo-Admin
• Bachelor's thesis (German)

BSD 3-Clause License - Copyright © Jan Müller