Decision Problems for Partial Specifications : Empirical and Worst-Case Complexities
Partial specifications allow approximate models of systems such as Kripke structures, or labeled transition systems to be created. Using the abstraction possible with these models, an avoidance of the state-space explosion problem is possible, whilst still retaining a structure that can have propert...
| Main Author: | |
|---|---|
| Other Authors: | |
| Published: |
Imperial College London
2008
|
| Subjects: | |
| Online Access: | http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.503171 |