SAL 2

Download PDF
Open Webpage

Leonardo Mendonça de Moura, Sam Owre, Harald Rueß, John M. Rushby, Natarajan Shankar, Maria Sorea, Ashish Tiwari

Published: 2004, Last Modified: 12 May 2025CAV 2004EveryoneRevisionsBibTeXCC BY-SA 4.0
Abstract: SAL (see http://sal.csl.sri.com) is an open suite of tools for analysis of state machines; it constitutes part of our vision for a Symbolic Analysis Laboratory that will eventually encompass SAL, the PVS verification system, the ICS decision procedures, and other tools developed in our group and elsewhere.