UPPAAL
Updated 19 days ago
P.O. Box 337, SE-75105 Uppsala, Sweden
The world-leading and internationally acclaimed model-checking tool UPPAAL now available for commercial use! The latest version is distributed by VeriAal
Also known as: UP4ALL, UP4ALL International AB