[Search for users] [Overall Top Noters] [List of all Conferences] [Download this site]

Conference ricks::formal_verification

Title:Formal Specification and Verification
Moderator:RICKS::LEONARD
Created:Wed Dec 30 1987
Last Modified:Wed May 14 1997
Last Successful Update:Fri Jun 06 1997
Number of topics:50
Total number of notes:214

34.0. "The ProofPower theorem prover" by RICKS::LEONARD (Tim Leonard, Formal Alpha Verification) Tue Nov 17 1992 17:07

T.RTitleUserPersonal
Name		DateLines
34.1ProofPower newsletter 2RICKS::LEONARDTim Leonard, Formal Alpha VerificationTue Nov 17 1992 17:08553
34.2ProofPower newsletter 3RICKS::LEONARDTim Leonard, Formal Alpha VerificationTue Nov 17 1992 17:09177
34.3ProofPower newsletter 4RICKS::LEONARDTim Leonard, Formal VerificationMon Dec 28 1992 15:17256
34.4ProofPower version 0.4RICKS::LEONARDTim Leonard, Formal VerificationWed Oct 27 1993 13:4821
34.5the ProofPower archive serverRICKS::LEONARDTim Leonard, Formal VerificationWed Oct 27 1993 13:53183