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

You Might Also Like

Red Hat Enterprise Linux on Microsoft Azure

Deploy Red Hat Enterprise Linux on Microsoft Azure for a secure, reliable, and scalable cloud environment, fully integrated with Microsoft services.

Red Hat Enterprise Linux (RHEL) on Microsoft Azure provides a secure, reliable, and flexible foundation for your cloud infrastructure. Red Hat Enterprise Linux on Microsoft Azure is ideal for enterprises seeking to enhance their cloud environment with seamless integration, consistent performance, and comprehensive support.

Learn More

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

OrCAD X

OrCAD® X is a unified PCB design software platform that offers significant improvements in ease of use, performance, automation, data management, and collaboration. Our cloud-enabled product suite contains applications for schematic, simulation, and PCB layout. OrCAD X Capture is one of the most...

See Software
Altium Designer

Altium Designer® offers a unified design environment backed by over 35 years of innovation and development. From schematic to PCB layout and interactive differential pair routing, to design documentation and a seamless ECAD/MCAD integration, Altium Designer empowers engineers with a single view...

See Software
ActCAD Software

ACTCAD is a 2D & 3D CAD software with functionality of the industry leaders. We offer two product options: - ACTCAD Standard for 2D Drafting Power Users - ACTCAD Premium for 2D Drafting, 3D Modeling and BIM (Building Information Modeling) functionality ACTCAD can be used for applications...

See Software

Report inappropriate content