At a Glance
| Applications | Model Checker |
| Developers | Aalborg University |
| Licenses | BSD GPLv2 Open Source 3.0 |
| Maintenance | Actively Maintained |
Description
TAPAAL is a tool for verification of timed-arc petri nets
| Applications | Model Checker |
| Developers | Aalborg University |
| Licenses | BSD GPLv2 Open Source 3.0 |
| Maintenance | Actively Maintained |
TAPAAL is a tool for verification of timed-arc petri nets