Tech Reports Home Contact
Technical Report Series
Actions
Submit Report
Browse Reports
Information
Information for Authors
Contact Details

Technical Report HW-MACS-TR-0032


TitleModel Checking Hw-Hume
AuthorsGudmund Grov, Andrew Ireland, Greg Michaelson
Date2005-10-27
AbstractSafety-critical software systems call for effective analysis that ensures the correctness of the systems. HUME is a functional programming language, targeted at safety-critical systems, which supports such analysis for time and space, but does not support verification. This topic is explored by using an off-the-shelf design verification system called SPIN. The result is then empirically analysed.
GroupDependable Systems
Notes
Download

 

Email Technical Report's Administrator
|MACS Home| Top of the Page

Department of Computer Science, Heriot-Watt University, Riccarton, Edinburgh, EH14 4AS, +44 (0) 131 4514152

Last Updated: 02 September 2003 Copyright Heriot-Watt University, Disclaimer