|
|
|
|
|
|
The Circal System
The Circal System is a modelling and verification tool for the Circal Process Algebra. The Circal System implements XCircal, which embeds the Circal operators in a C-like scripting language, allowing the creation of complex paramaterised systems. The Circal System verification system performs the automatic comparison of systems according to several different equivalences and preorders.
The Circal System has been used for formal analysis in a number of domains, including digital hardware, traffic systems and communications protocols.
Distribution
The Circal System can be used free of charge by academic institutions (read the license agreement here). It cannot be used by commercial organisations or for commercial purposes without written permission from George J. Milne. Copyright is asserted by George J. Milne.
- Linux binary (197 kB)
- Windows binary (695 kB)
- Source code (382 kB)
Documentation
XCircal is described, with examples, in the book
"Formal Specification and Verification of Digital Systems" by George Milne (McGraw-Hill 1994)
Examples
Here are some examples of X-Circal code:
