SRI FormalWare Tools include PVS, SAL, and Yices, developed at SRI. There are associated wikis↑ for each of these.