[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

25.0. "The HOL90 theorem prover" by RICKS::LEONARD (Tim Leonard, Formal Alpha Verification) Tue Nov 17 1992 16:35

T.RTitleUserPersonal
Name		DateLines
25.1What hol90 runs onRICKS::LEONARDTim Leonard, Formal Alpha VerificationTue Nov 17 1992 16:3766
25.2A new release of hol90RICKS::LEONARDTim Leonard, Formal Alpha VerificationTue Nov 17 1992 16:38380
25.3Expected features in version 4RICKS::LEONARDTim Leonard, Formal Alpha VerificationTue Nov 17 1992 16:4032
25.4Where to get SMLRICKS::LEONARDTim Leonard, Formal Alpha VerificationTue Nov 17 1992 16:40113
25.5hol90 at SunRICKS::LEONARDTim Leonard, Formal Alpha VerificationTue Nov 17 1992 16:4115
25.6hol90 at CambridgeRICKS::LEONARDTim Leonard, Formal Alpha VerificationTue Nov 17 1992 16:428
25.7hol90 version 5RICKS::LEONARDTim Leonard, Formal VerificationThu Sep 09 1993 14:58104
25.8new hol90 librariesRICKS::LEONARDTim Leonard, Formal VerificationThu Sep 09 1993 15:0074