Formal Software on ArcaTools
ArcaTools is a framework to bring to the web a collection of tools, decreasing the time to start experimenting with existing tools, while exploiting the interactivity and visualisation capabilities of existing web technologies. Developed mainly by members of ARCA.
All tools follow the following approach:
- Back-end developed mainly in Scala, resorting to other independent projects;
- 3rd party tools are linked internally, such as: mCRL2, UPPAAL, and SageMath;
- All code is open-source and available.
You can find experiment the tools and find the associated resources online:
Some of the featured tools include:
An analyser and verifier of families of Reo connectors, based on traced monoidal symmetric categories - http://arcatools.org/preo.
A simulator of deterministic hybrid programs using algebraic calculations instead of approximate values - http://arcatools.org/#lince.
An analyser of coordinating Hubs in the context of a RTOS - http://arcatools.org/hubs.