Main Page

From SRI SAL
Jump to: navigation, search

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

Documentation

  • FAQ (Frequently Asked Questions)

News

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

Community

Acknowledgments

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

Other

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

HybridSal

Personal tools