Stutter-Invariant Languages, ω-Automata, and Temporal Logic

This publication has 18 references indexed in Scilit:

• A partial approach to model checking
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Stutter-invariant temporal properties are expressible without the next-time operator
  Information Processing Letters, 1997
• The model checker SPIN
  IEEE Transactions on Software Engineering, 1997
• An algebraic perspective of constraint logic programming
  Journal of Logic and Computation, 1997
• Combining partial order reductions with on-the-fly model-checking
  Formal Methods in System Design, 1996
• The temporal logic of actions
  ACM Transactions on Programming Languages and Systems, 1994
• Temporal and Modal Logic
  Published by Elsevier ,1990
• The complementation problem for Büchi automata with applications to temporal logic
  Theoretical Computer Science, 1987
• The complexity of propositional linear temporal logics
  Journal of the ACM, 1985
• Testing and generating infinite sequences by a finite automaton
  Information and Control, 1966