Puptol: Publish Your (Prototype) Tool On-Line

This website allows you to try, via a web interface, tools that we (FMT group at University of Twente, together with research groups elsewhere in the world) developed.

Typically, we provide here only a (small) subset of the functionality that the tools have to offer. However, the functionality that is offered is only several web-browser clicks away, without the need to download and install tool and/or examples.

For most of the the tools you can choose to run the tool on input that we prepared, as well as on input that you provide yourself.

Tools

• cvpp: Translator from behavioural to structural properties (in the context of Compositional Verification of Control-Flow Properties of Programs with Procedures)
• groove: Generate state space from a set of graph production rules (using the GROOVE tool)
• ProMoVer: A Tool for Procedure-Modular Verification
• SCOOP: Symbolic reductions of probabilistic specifications with data

Playground

• dc: simple desk calculator (uses the bc(1) arbitrary precision calculator)
• same interface, but with scenario selector
• date: date (uses date(1) print or set the system date and time)
• echo: echo (uses echo(1) display a line of text)
• with radio buttons and scenario selector
• with selection drop down list and scenario selector
• countdown: show dynamically updated text and images, produced while the invoked program (shell script) runs

Puptol Project Website