Main Page

From SRI Formal Methods

Revision as of 14:38, 12 October 2009; AmeliaEera (Talk | contribs)
(diff) ←Older revision | Current revision | Newer revision→ (diff)
Jump to: navigation, search

This is the root of the Wiki pages for the SRI FormalWare Tools. We're still learning how best to organize and use this capability--please join in and help.

The FM static web pages are here.

Wikis for our individual tools are here: PVS, SAL, and Yices.

Here are some elementary things we need help on:

  • Create an FM logo

Here are some ideas for pages that could be created and populated

  • FAQ
  • Links to papers using these tools
  • Links to groups using these tools


We are using the MediaWiki software (same as Wikipedia). See below for help on using the Wiki.

Retrieved from "http://fm-wiki.csl.sri.com/index.php/Main_Page"
Personal tools