Hi, I am looking for the HOL code for the verification of real-time systems. The author is Dr. Cardell-Oliver and the work was presented in her PhD thesis.
R. Cardell-Oliver. The Formal Verification of Hard Real-time Systems. PhD Thesis, University of Cambridge, Cambridge, UK, 1992. I was wondering if its available with distributions of HOL88 which I've heard exist in some Linux distributions. Any other leads to this code would be greatly appreciated. Thanks, --Osman ------------------------------------------------------------------------- This SF.net email is sponsored by: Splunk Inc. Still grepping through log files to find problems? Stop. Now Search log events and configuration files using AJAX and a browser. Download your FREE copy of Splunk now >> http://get.splunk.com/ _______________________________________________ hol-info mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/hol-info
