Beta Release
Sourceforge page
Instructions
Just unzip SIFA.zip into an appropriate folder and double-click on
sifa.jar (or run "java -jar sifa.jar").
For file conversion (import/export) java.exe must be in the PATH.
To get started, right-click on "Root" and select Show. Detailed
instructions are in the user guide.
Example Models
- Consistency Checking
- Illustrates the way consistency checking works, by showing
models that aren't consistent with eachother.
- Cryptographic Device
- This is a simple cryptographic device that contains some
fault-tolerant circuitry.
- Web page
- Trusted Filter
- This is a model of a trusted filter used for restricting
communication across a channel to a set of commands contained in
an internal dictionary.
- Web page
- [more to come]
