scientific article; zbMATH DE number 1405651

zbMath0939.03041MaRDI QIDQ4938632

Martin Dickhöfer, Thomas Wilke

Publication date: 25 April 2000

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

model checkingtimed alternating tree automatatimed computation tree logic

Mathematics Subject Classification ID

Automata and formal grammars in connection with logical questions (03D05) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (5)

A survey of timed automata for the development of real-time systems ⋮ Quantitative vs. weighted automata ⋮ An Automata-Theoretic Approach to Infinite-State Systems ⋮ Revisiting Satisfiability and Model-Checking for CTLK with Synchrony and Perfect Recall ⋮ Towards Deriving Test Sequences by Model Checking

This page was built for publication: