scientific article; zbMATH DE number 1982198

zbMath1023.68625MaRDI QIDQ4426372

Timo Latvala

Publication date: 16 September 2003

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2648/26480074.htm

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

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (8)

Experiments with deterministic \(\omega\)-automata for formulas of linear temporal logic ⋮ An extended framework for passive asynchronous testing ⋮ Time window temporal logic ⋮ Quantitative safety and liveness ⋮ On the limits of refinement-testing for model-checking CSP ⋮ Model-based reinforcement learning for approximate optimal control with temporal logic specifications ⋮ Time-constrained temporal logic control of multi-affine systems ⋮ Falsification of LTL Safety Properties in Hybrid Systems

Uses Software

• SPIN
• LTL2BA

This page was built for publication: