The Crescendo Tool
Formal design and modelling using Co-Simulation
Home
Downloads
Examples
FAQ
Documentation
Recent Events
Workshop
Publications
Go to our GitHub Profile
FAQ
The simulation is aborted by a failed call to getVersion (20sim)
Check that you have a valid 20-sim license. If no license is avaliable then the XMLRPC service is disabled and no simulation can be performed.