Temporal logic query checking

Proceedings - Symposium on Logic in Computer Science

Volumn , Issue , 2001, Pages 409-417

  Bruns, G ^a   Godefroid, P ^a  

^a LUCENT TECHNOLOGIES   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; AUTOMATA THEORY; PROBABILISTIC LOGICS; REVERSE ENGINEERING;

KRIPKE STRUCTURE; TEMPORAL LOGIC QUERY CHECKING;

QUERY LANGUAGES;

EID: 0034873751     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (10)

1. Model checking partial state spaces with 3-valued temporal logics
2. Temporal-logic queries
3. Alternation
4. Model-checking over multi-valued logics
5. Automatic verification of finite-state concurrent systems using temporal logic specifications
6. Many-valued modal logics I
7. An automata-theoretic approach to branching-time model checking
8. Alternating automata and the weak monadic theory of the tree and its complexity
9. Specification and verification of concurrent systems in CESAR