From SRI SAL

This is the root of the Wiki pages for the Symbolic Analysis Laboratory (SAL).

The SAL static web pages are here (see also the navigation pane on the left).

Wikis for our other systems are here: PVS, Yices; and here's our top-level wiki: Formal Methods at SRI CSL.

The purpose of this Wiki is to provide more comprehensive and uptodate dissemination of information relating to SAL by allowing anybody to edit and contribute to these pages. You are encouraged to join in--please make sure your content is relevant to SAL. We are using the MediaWiki software (same as Wikipedia). Click on 'Help' button in the navigation pane on the left for help on using the Wiki.

Contents 1 Documentation 2 News 3 Community 4 Acknowledgments 5 Other 6 HybridSal

Documentation

• FAQ (Frequently Asked Questions)

• Cygwin installation (for Windows users)

• XML usage in SAL How to use XML with SAL

News

• We have released Hybrid SAL (June 2007): http://sal.csl.sri.com/hybridsal/

• Beginning with SAL 3.0, released on 11 December 2006, SAL is Open Source.

• WHAT'S NEW

• Here's a link to the old SAL Status page: http://sal.csl.sri.com/status.shtml

Community

• Links to papers relevant to SAL
• Links to groups using SAL

Acknowledgments

• SAL was written almost entirely by Leonardo de Moura. Many thanks to him!

Other

• User-supplied SAL-related shell scripts

We're still learning how best to organize and use this capability--please join in and help.

HybridSal