At a Glance
| Applications | Model Checker |
| Developers | University of Nantes |
| Licenses | GPL |
| Maintenance | Actively Maintained |
Description
Romeo allows the modelling of complex systems using extensions of time Petri nets.
| Applications | Model Checker |
| Developers | University of Nantes |
| Licenses | GPL |
| Maintenance | Actively Maintained |
Romeo allows the modelling of complex systems using extensions of time Petri nets.