Predictability Verification with Parallel LTL-X Model Checking Based on Petri Net Unfoldings
- Lookup NU author(s)
- Agnes Madalinski
- Dr Victor Khomenko
|
|
|
|
| Author(s) | | Madalinski A, Khomenko V |
| Publication type | | Report |
| Series Title | | School of Computing Science Technical Report Series |
| Year | | 2011 |
| Date | | September 2011 |
| Report Number | | 1276 |
| Pages | | 12 |
|
|
|
| Full text is available for this publication: |
|
|
|
|
| We show that the predictability problem for a Petri net can be reduced to LTL-X model checking. The advantage of this is that existing efficient methods and tools can be employed, in particular parallel model checking based on Petri net unfoldings. The experimental results show that this approach is efficient, and a good level of parallelisation can be achieved. |
|
|
|
| Institution | | School of Computing Science, University of Newcastle upon Tyne |
| Place Published | | Newcastle upon Tyne |
| Actions | |  |
