Main Page

From SRI Formal Methods
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, Yices, and Hybrid SAL.

The First Summer School on Formal Techniques was held at Menlo College, Atherton CA, from May 23 to May 27, 2011.

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.

Related Links

Personal tools