7  Implementations

7.1 Prototype Implementation: equiv.io

7.2 GPU Implementation: gpuequiv

Vogel (2024)

Vogel, G. (2024). Accelerating process equivalence energy games using WebGPU [Bachelor's Thesis, Technische Universität Berlin]. https://github.com/Gobbel2000/gpuequiv

7.3 Other Implementations

7.3.1 Computer Game: The Spectroscopy Invaders

Trzeciakiewicz (2021)

Trzeciakiewicz, M. (2021). Linear-time–branching-time spectroscopy as an educational web browser game [Bachelor's Thesis, Technische Universität Berlin]. https://github.com/Marii19/the-spectroscopy-invaders

7.3.2 CAAL Extension

Ozegowski (2023) mention Timo

Ozegowski, F. (2023). Integration eines generischen äquivalenzprüfers in CAAL [Bachelor's Thesis, Technische Universität Berlin]. https://github.com/Fabian-O01/CAAL