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;
  • JavaScript code generated when possible, some parts executed on our servers when needed;
  • 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:

José Proença
José Proença
Senior Researcher

José Proença is a senior researcher at CISTER, ISEP, Portugal, working on formal models for component-based and critical systems.