scientific article; zbMATH DE number 1507201

zbMATH Open0957.68061MaRDI QIDQ4503921

Doron A. Peled

Publication date: 1 April 2001

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

zbMATH Keywords

LTL model checking\(\omega\)-automata theory

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (5)

Automated Termination in Model Checking Modulo Theories ⋮ Formal Approaches to Software Testing ⋮ Finite Models vs Tree Automata in Safety Verification ⋮ Unnamed Item ⋮ Model checking stochastic automata

This page was built for publication: