Automated analysis of real-time software properties
Testing is the traditional method of showing correctness of real-time software systems but can prove expensive in terms of time and resources. Formal approaches to real-time verification have fallen short. Reasons for this are: • formal models have to be manually constructed, • the level of ex...
| Main Author: | |
|---|---|
| Published: |
Heriot-Watt University
2007
|
| Subjects: | |
| Online Access: | http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.486265 |