SRI (Stanford Research Institute), in California, USA, undertakes research in the area of formal methods, especially tools such as PVS, SAL, and Yices.

See also Edit

External links Edit

Ad blocker interference detected!

Wikia is a free-to-use site that makes money from advertising. We have a modified experience for viewers using ad blockers

Wikia is not accessible if you’ve made further modifications. Remove the custom ad blocker rule(s) and the page will load as expected.