MERLOT
MERLOT is a set of tools that implements the reachability analysis algorithm based on the Time Reachability Tree.
- Environment:
- Unix
- Origin:
- Politecnico di Milano, Italy
- Kind of Nets supported:
- TB-Nets
- Functionalities:
- Graphical EDITOR (from CABERNET)
- ANALYSIS: computation of the Time Reachability Tree for verifying properties such as liveness and safety for given time intervals (bounded invariance, bounded response)
- HIERARCHY Manager (from CABERNET)
- Availability
- CONTACT Mauro Pezzé
- References:
- C. Bellettini, M. Felder, M. Pezzé: MERLOT - A tool for Analysis of Real-Time Specifications.
- Notes:
- MERLOT is integrated in CABERNET
