https://github.com/deryeger/apollo
A web application for first-order model checking in graph structures.
https://github.com/deryeger/apollo
angular first-order-logic graph kotlin modelchecking
Last synced: about 1 year ago
JSON representation
A web application for first-order model checking in graph structures.
- Host: GitHub
- URL: https://github.com/deryeger/apollo
- Owner: DerYeger
- License: bsd-3-clause
- Created: 2020-12-21T18:58:55.000Z (over 5 years ago)
- Default Branch: master
- Last Pushed: 2024-02-17T05:38:53.000Z (about 2 years ago)
- Last Synced: 2025-02-08T22:44:42.813Z (about 1 year ago)
- Topics: angular, first-order-logic, graph, kotlin, modelchecking
- Homepage: https://apollo.yeger.eu
- Size: 38.5 MB
- Stars: 3
- Watchers: 3
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
- License: LICENSE
Awesome Lists containing this project
README
Apollo
> 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**.
## Features
- 🛠 **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
## Links
- [Apollo-Frontend](https://github.com/DerYeger/apollo-frontend)
- [Apollo-Backend](https://github.com/DerYeger/apollo-backend)
- [Apollo-Admin](https://github.com/DerYeger/apollo-admin)
- [Bachelor's thesis (German)](https://jan-mueller.at/documents/bachelor-thesis)
## License
[BSD 3-Clause License](./LICENSE) - Copyright © Jan Müller