PESTS version 1.2 (JAR)

Journal of automated reasoning (JAR) 2019 release.

Changes:

• a new algorithm for the quotienting of symbolic automata
• bug fixes

PESTS version 1.1 (TACAS)

TACAS 2018 artifact evaluation package

PESTS version 1.0.2

v1.0.2

TACAS release

PESTS 1.0.1

v1.0.1

Javadoc added

PESTS 1.0

First release of the pests tool