PROVa Tool Files

Brought to you by: pzerva

The interactive file manager requires Javascript. Please enable it or use sftp or scp.
You may still browse the files here.

Name	Modified	Size
exeQ.log	2017-01-11	426.9 kB
travel_planner_provenance_generated_model.txt	2017-01-11	40.6 kB
orbi_provenance_generated_model.txt	2017-01-11	49.8 kB
Totals: 3 Items		517.3 kB

Other Useful Business Software

$300 Free Credits to Build on Google Cloud

New customers can spin up VMs, build with AI, and query data at no cost.

Put your $300 in credit toward real workloads, then keep building with free monthly usage for 20+ products. No commitment and no charge until you upgrade.

Start Free

Veeam Data Platform v13.1

Move workloads across hypervisors and clouds with no vendor lock-in. Try VDP free today.

Try Veeam Data Platform today. Experience the unified platform that's secure by design, portable by default, and proven to recover clean, fast, and anywhere.

Try Now

$300 Free Credits to Build on Google Cloud

New customers can spin up VMs, build with AI, and query data at no cost.

Put your $300 in credit toward real workloads, then keep building with free monthly usage for 20+ products. No commitment and no charge until you upgrade.

Start Free

Recommended Projects

audiocleaner-tool
Windows program (64-bit) that removes noise
e*Tool
e*Tool is a developer tool for SeeBeyond's EAI product e*Gate. Its aim is to provide a decent development environment with a syntax highlighting source editor as well as e*Gate Enterprise Manager like features (schema editing, import/export etc.)
Tool Logger
Tool logging facility. UDP server and client library included.
plextor-tool
plextor-tool is a small console utility for setting certain parameters of Plextor(r)/MMC CD-ROM/CD-R(W) drives. plextor-tool-applet is a GNOME applet providing basically the same functionality as plextor-tool (GTK 1.x only).
The PEP tool
PEP is a modelling and verification framework for parallel systems, providing a large number of different modelling languages and verification techniques (e.g. SDL, Petri nets and model checking)