Process abstraction in the verification of temporal properties
The automatic verification of temporal properties of systems usually suffers from two problems. First, the size of the system that can be verified is very limited. Secondly, the results reflect only the behaviour of a system having particular parameters and initial conditions. Both problems are addr...
| Main Author: | |
|---|---|
| Other Authors: | |
| Published: |
University of Edinburgh
1998
|
| Subjects: | |
| Online Access: | http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.561719 |