Automatic verification of temporal and timed properties of control programs
Control system programs are usually validated by testing prior to their deployment. Unfortunately, testing is not exhaustive and therefore it is possible that a program which passed all the required tests still contains errors. We propose to use automatic verification, which can establish whether gi...
| Main Author: | |
|---|---|
| Published: |
University of Birmingham
2004
|
| Subjects: | |
| Online Access: | http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.419737 |