ranga@uceng.UC.EDU (Dr. Ranga R. Vemuri) (09/27/89)
Can someone tell me how to get the Boyer-Moore Theorem prover which can be used for hardware verification ? Someone told me it is available via. ftp. Ranga.