SPLverifier has been developed at the University of Passau. For more information on the project, please contact the developers:
- Sven Apel (University of Passau)
- Hendrik Speidel (schnapptack GbR)
- Philipp Wendler (University of Passau)
- Alexander von Rhein (University of Passau)
- Dirk Beyer (University of Passau)