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 February 2022

Related papers

https://doi.org/10.1007/978-3-030-85037-1_3 (FORMATS '21)

Last publication date

16 August 2021

ProVerB specific

View/edit source (Markdown)



ProVerB is a part of SLEBoK. Last updated: July 2022.