scientific article; zbMATH DE number 2102704
From MaRDI portal
Publication:4817542
zbMath1046.68597MaRDI QIDQ4817542
Orna Kupferman, Moshe Y. Vardi
Publication date: 24 September 2004
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items (14)
Functional Specification of Hardware via Temporal Logic ⋮ Runtime enforcement of hyperproperties ⋮ Experiments with deterministic \(\omega\)-automata for formulas of linear temporal logic ⋮ An extended framework for passive asynchronous testing ⋮ Runtime verification with minimal intrusion through parallelism ⋮ Discriminative Model Checking ⋮ Symbolic bounded synthesis ⋮ Linear temporal logic symbolic model checking ⋮ Linear Temporal Logic Satisfaction in Adversarial Environments Using Secure Control Barrier Certificates ⋮ Quantitative model-checking of controlled discrete-time Markov processes ⋮ Time-triggered runtime verification ⋮ Safety and Liveness, Weakness and Strength, and the Underlying Topological Relations ⋮ \(\omega\)-regular languages are testable with a constant number of queries ⋮ On satisficing in quantitative games
This page was built for publication:
