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.
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
- 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.