A Partial Approach to Model Checking

• 1 May 1994
• journal article
• Published by Elsevier in Information and Computation
• Vol. 110  (2) , 305-326
• https://doi.org/10.1006/inco.1994.1035

Abstract

Keywords

• AUTOMATA THEORY
• TEMPORAL LOGIC
• MAZURKIEWICZ TRACE
• CONCURRENCY MODELLING
• INTERLEAVING
• LINEAR-TIME MODEL CHECKING
• LINEAR-TIME TEMPORAL LOGIC
• PRODUCTION AUTOMATON
• SEMANTIC BASIS
• TRACE AUTOMATON
• WORDS OF ORDINALITY