SAL 3.2 Toolkit

A dataset shared by Kevin Schweiker, updated on Jun 11, 2012

Summary

Contributing Author(s) :
Bruno Dutertre

Link to SRI's SAL Toolkit. Binary distributions available for Windows (using Cygwin), MacOS, and Linux

show more info
Operating System
N/A (edit)
License
N/A (edit)
Programming Language
N/A (edit)
Version
N/A (edit)

Source Files

http://sal.csl.sri.com/download.shtml
SAL 3.2
http://www.csl.sri.com/users/bruno/vvfcs.html
PVS and SAL models of fault-tolerant distributed systems (TTEthernet Synchronization Protocol).

Support/Documentation

For any questions, contact this resource's administrator: K2

Discussions

Add New Comment