Main Page
From SRI Formal Methods
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.
