Stutter-invariant temporal properties are expressible without the next-time operator
- 1 September 1997
- journal article
- Published by Elsevier in Information Processing Letters
- Vol. 63 (5) , 243-246
- https://doi.org/10.1016/s0020-0190(97)00133-6
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- Combining partial order reductions with on-the-fly model-checkingFormal Methods in System Design, 1996
- The temporal logic of actionsACM Transactions on Programming Languages and Systems, 1994
- A stubborn attack on state explosionFormal Methods in System Design, 1992
- Specifying Concurrent Program ModulesACM Transactions on Programming Languages and Systems, 1983