PiET: Pi Calculus Equivalences Tester download

PiET is a verification tool for ten behavioural equivalences for the Pi Calculus.

Project Activity

See All Activity >

License

GNU Library or Lesser General Public License version 2.0 (LGPLv2)

Follow PiET: Pi Calculus Equivalences Tester

PiET: Pi Calculus Equivalences Tester Web Site

Other Useful Business Software

Secure File Transfer for Windows with Cerberus by Redwood

Protect and share files over FTP/S, SFTP, HTTPS and SCP with the #1 rated Windows file transfer server.

Cerberus supports unlimited users and connections on a single IP, with built-in encryption, 2FA, and a browser-based web client — all deployable in under 15 minutes with a 25-day free trial.

Try for Free

Rate This Project

User Reviews

Be the first to post a review of PiET: Pi Calculus Equivalences Tester!

Additional Project Details

Languages

English

Intended Audience

Advanced End Users

User Interface

Java Swing

Programming Language

OCaml (Objective Caml)

Related Categories

OCaml (Objective Caml) Mathematics Software

Registered

2006-09-28

Similar Business Software

Lockbox LIMS

A sample tracking, test result capture, and inventory management cloud LIMS for life science research, biotech/NGS, and industrial QC labs. Includes regulatory support for CLIA, HIPAA, Part 11, and ISO 17025. Nothing is more critical to a lab’s success than the quality, security, and...

See Software
QBench

The modern, flexible, easy-to-use LIMS. QBench enables our customers to get a LIMS up and running faster. Automate your entire lab with our developer-friendly API, Inventory Management, Customer Portal, Billing, and Quality Management System modules. QBench is a cloud-based Laboratory...

See Software
Qualio

Qualio is the leading quality and compliance platform built exclusively for emerging life sciences companies. MedTech, pharma, biotech, and diagnostics teams use Qualio to standardize quality processes, connect them to regulatory obligations, and gain real-time visibility into compliance...

See Software
SAP S/4HANA Cloud Public Edition

SAP Cloud ERP is the premier ERP solution for growth-focused organizations. Seamlessly integrating AI, and predictive analytics, it empowers businesses to digitally transform and streamline processes end to end. Leveraging built-in industry best practices, SAP Cloud ERP accelerates...

See Software
RegDesk

RegDesk is a Regulatory Information Management System (RIMS) that helps medical device companies manage global regulatory submissions, product registrations, and compliance in one centralized platform. It streamlines regulatory workflows, organizes regulatory data, and provides global regulatory...

See Software
Labguru

Labguru is a secure, cloud-based Electronic Lab Notebook (ELN), LIMS and informatics platform which offers a complete solution for life science research and industry. It records and manages laboratory data and inventory, includes molecular biology tools and chemistry tools, enables automation of...

See Software