95 | -- | 99 | Ganesh Gopalakrishnan, Warren A. Hunt Jr.. Industrial Practice of Formal Hardware Verification: A Sampling |
101 | -- | 108 | Shoham Ben-David, Cindy Eisner, Daniel Geist, Yaron Wolfsthal. Model Checking at IBM |
109 | -- | 116 | Mani Azimi, Ching-Tsun Chou, Akhilesh Kumar, Victor W. Lee, Phanindra K. Mannava, Seungjoon Park. Experience with Applying Formal Methods to Protocol Specification and System Architecture |
117 | -- | 123 | Magdy S. Abadir, Ken Albin, John Havlicek, Narayanan Krishnamurthy, Andrew K. Martin. Formal Verification Successes at Motorola |
125 | -- | 131 | Rajeev Joshi, Leslie Lamport, John Matthews, Serdar Tasiran, Mark R. Tuttle, Yuan Yu. Checking Cache-Coherence Protocols with TLA:::+::: |
133 | -- | 141 | Steven M. German. Formal Design of Cache Memory Protocols in IBM |
143 | -- | 153 | John Harrison. Formal Verification of Square Root Algorithms |
155 | -- | 161 | Pascalin Amagbégnon, Uri Barkai. Verifying the Implementation of an Error Control Code |
163 | -- | 173 | William Adams, Warren A. Hunt Jr., Damir Jamsek. Verisym: Verifying Circuits by Symbolic Simulation |