Checking Finite Traces using Alternating Automata
Open Access
- 31 October 2001
- journal article
- Published by Elsevier in Electronic Notes in Theoretical Computer Science
- Vol. 55 (2), 147-163
- https://doi.org/10.1016/s1571-0661(04)00250-6
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Alternating the Temporal Picture for SafetyLecture Notes in Computer Science, 2000
- The Temporal Rover and the ATG RoverLecture Notes in Computer Science, 2000
- Using Runtime Analysis to Guide Model Checking of Java ProgramsLecture Notes in Computer Science, 2000
- Verifying Temporal Properties of Reactive Systems: A STeP TutorialFormal Methods in System Design, 2000
- Alternating automata: Unifying truth and validity checking for temporal logicsLecture Notes in Computer Science, 1997
- An automata-theoretic approach to linear temporal logicPublished by Springer Nature ,1996
- Specification and verification of concurrent programs by ∀-automataPublished by Springer Nature ,1989