PiET is a verification tool for ten behavioural equivalences for the Pi Calculus.
VERSION HISTORY
- Version Piet%201.0 posted on 2006-09-29
Several fixes and updates - Version Piet 1.0 posted on 2006-09-29
Program Details
- Category: Education > Other
- Publisher: piet.sf.net
- License: Free
- Price: N/A
- Version: 1.0
- Platform: windows