Formal Methods Wiki
Don't have an account?
Register
Register
in: Article stubs, Organizations

SRI

Edit

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[]

External links[]


Community content is available under CC-BY-SA unless otherwise noted.