SRI

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

• SRI FormalWare Tools

External links

• Computer Science Laboratory, SRI International