PV5 opaala lightweight variant of UPPAAL intended for rapid prototyping

Model checker for lattice automata

Application domain/field

Type of tool

Model checker

Expected input

Format:

UPPAAL XML format extended with lattice features

Internals

"opaal is a distributed/parallel (discrete time) model checker for networks of timed automata..." (Source) Uses pyuppaal.
Automaton Model checking

Links

Last commit date

16 November 2016

Related papers

https://doi.org/10.1007/978-3-642-20398-5_37 (NFM '11)

Last publication date

2011

ProVerB specific

View/edit source (Markdown)



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