PV1 ⊧ Oinksolves a parity game
Application domain/field
- Parity games
- Model checking
Type of tool
Parity game solverExpected input
Parity gameFormat:
PGSolver format The file may be zipped using gzip (.gz) or bzip2 (.bz2).Format:
PGSolver format The file may be zipped using gzip (.gz) or bzip2 (.bz2).