We have hosted the application piet pi calculus equivalences tester in order to run this application in our online workstations with Wine or directly.
Quick description about piet pi calculus equivalences tester:
PiET is a verification tool for ten behavioural equivalences for the Pi Calculus.Audience: Advanced End Users.
User interface: Java Swing.
Programming Language: OCaml (Objective Caml).
Categories:
©2024. Winfy. All Rights Reserved.
By OD Group OU – Registry code: 1609791 -VAT number: EE102345621.