Adams, William; Hunt, Warren A. jun.; Jamsek, Damir Verisym: Verifying circuits by symbolic simulation. (English) Zbl 1021.68056 Form. Methods Syst. Des. 22, No. 2, 163-173 (2003). MSC: 68Q65 68U20 PDFBibTeX XMLCite \textit{W. Adams} et al., Form. Methods Syst. Des. 22, No. 2, 163--173 (2003; Zbl 1021.68056) Full Text: DOI
Amagbegnon, T. Pascalin; Barkai, Uri E. Verifying the implementation of an error control code. (English) Zbl 1020.68053 Form. Methods Syst. Des. 22, No. 2, 155-161 (2003). MSC: 68Q65 PDFBibTeX XMLCite \textit{T. P. Amagbegnon} and \textit{U. E. Barkai}, Form. Methods Syst. Des. 22, No. 2, 155--161 (2003; Zbl 1020.68053) Full Text: DOI
Harrison, John Formal verification of square root algorithms. (English) Zbl 1021.68058 Form. Methods Syst. Des. 22, No. 2, 143-153 (2003). MSC: 68Q65 68T15 PDFBibTeX XMLCite \textit{J. Harrison}, Form. Methods Syst. Des. 22, No. 2, 143--153 (2003; Zbl 1021.68058) Full Text: DOI
German, Steven M. Formal design of cache memory protocols in IBM. (English) Zbl 1020.68009 Form. Methods Syst. Des. 22, No. 2, 133-141 (2003). MSC: 68M12 PDFBibTeX XMLCite \textit{S. M. German}, Form. Methods Syst. Des. 22, No. 2, 133--141 (2003; Zbl 1020.68009) Full Text: DOI
Joshi, Rajeev; Lamport, Leslie; Matthews, John; Tasiran, Serdar; Tuttle, Mark; Yu, Yuan Checking cache-coherence protocols with TLA\(^+\). (English) Zbl 1021.68052 Form. Methods Syst. Des. 22, No. 2, 125-131 (2003). MSC: 68Q60 PDFBibTeX XMLCite \textit{R. Joshi} et al., Form. Methods Syst. Des. 22, No. 2, 125--131 (2003; Zbl 1021.68052) Full Text: DOI
Abadir, Magdy S.; Albin, Kenneth L.; Havlicek, John; Krishnamurthy, Narayanan; Martin, Andrew K. Formal verification successes at Motorola. (English) Zbl 1020.68052 Form. Methods Syst. Des. 22, No. 2, 117-123 (2003). MSC: 68Q65 PDFBibTeX XMLCite \textit{M. S. Abadir} et al., Form. Methods Syst. Des. 22, No. 2, 117--123 (2003; Zbl 1020.68052) Full Text: DOI
Azimi, Mani; Chou, Ching-Tsun; Kumar, Akhilesh; Lee, Victor W.; Mannava, Phamndra K.; Park, Seungjoon Experience with applying formal methods to protocol specification and system architecture. (English) Zbl 1020.68008 Form. Methods Syst. Des. 22, No. 2, 109-116 (2003). MSC: 68M12 68-01 PDFBibTeX XMLCite \textit{M. Azimi} et al., Form. Methods Syst. Des. 22, No. 2, 109--116 (2003; Zbl 1020.68008) Full Text: DOI
Ben-David, Shoham; Eisner, Cindy; Geist, Daniel; Wolfsthal, Yaron Model checking at IBM. (English) Zbl 1020.68507 Form. Methods Syst. Des. 22, No. 2, 101-108 (2003). MSC: 68Q65 PDFBibTeX XMLCite \textit{S. Ben-David} et al., Form. Methods Syst. Des. 22, No. 2, 101--108 (2003; Zbl 1020.68507) Full Text: DOI