Program
Verification
Book

verifydtapn

Discrete time engine for TAPAAL.

Internals

This is a sub-component of TAPAAL. It is used as the verification engine that uses discrete time semantics. It supports EF, AG, EG and AF.

Comments

License: BSD

Links

Repository: https://github.com/TAPAAL/verifydtapn

Last commit date: 10 Aug 2022 (default branch)
Last commit date: 10 Aug 2022 (last activity)

Related papers

Stubborn Set Reduction for Timed Reachability and Safety Games (FORMATS '21)

Last publication date

16 August 2021

ProVerB specific

Markdown description: view/edit
Contained in the ProVerB22 dataset (paper + artefact)

ProVerB is a part of SLEBoK. Last updated: February 2023.