Decision problems for partial specifications: empirical and worst-case complexity
Partial specifications al10w approximate models of systems such as Kripke structures, or labelled 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 proper...
| Main Author: | |
|---|---|
| Published: |
University of Nottingham
2008
|
| Subjects: | |
| Online Access: | http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.490205 |