scientific article; zbMATH DE number 2080056
From MaRDI portal
Publication:4472249
zbMath1043.68563MaRDI QIDQ4472249
A. Tiemeyer, Limor Fix, Yael Zbar, Alon Flaisher, Avner Landver, Moshe Y. Vardi, Eli Singerman, Boris Ginsburg, Tomer Kanza, Sela Mador-Haim, Rob Gerth, Roy Armoni
Publication date: 4 August 2004
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2280/22800296.htm
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)
Related Items
Automata Theory and Model Checking, Functional Specification of Hardware via Temporal Logic, Incorporating monitors in reactive synthesis without paying the price, Bounded model checking of ETL cooperating with finite and looping automata connectives, Linear-Time Model Checking: Automata Theory in Practice, Branching vs. Linear Time: Semantical Perspective, Unnamed Item, Linear temporal logic symbolic model checking, The use of contract specifications for representing requirements and for functional testing of hardware models, Runtime verification of embedded real-time systems, Visibly linear temporal logic, Parametric linear dynamic logic, An abstraction-refinement framework for trigger querying, Safety and Liveness, Weakness and Strength, and the Underlying Topological Relations, CTRL: extension of CTL with regular expressions and fairness operators to verify genetic regulatory networks, On regular temporal logics with past, Temporal logics with language parameters, From Philosophical to Industrial Logics, Distributed synthesis for parameterized temporal logics, From Monadic Logic to PSL, Automata-Theoretic Model Checking Revisited, Matching Trace Patterns with Regular Policies, Propositional Dynamic Logic for Hyperproperties, Compositional verification of asynchronous concurrent systems using CADP
Uses Software