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 | edit source]

External links[edit | edit source]


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