RERS 2016: Parallel and Sequential Benchmarks with Focus on LTL Verification.

Maren Geske, Marc Jasper, Bernhard Steffen, Falk Howar, Markus Schordan, Jaco van de Pol

Browse the full ISoLA paper archive.