scientific article; zbMATH DE number 2080056

MaRDI QIDQ4472249zbMATH OpenFDO

Authors Roy Armoni, Limor Fix, Alon Flaisher, Rob Gerth, Boris Ginsburg, Tomer Kanza, Avner Landver, Sela Mador-Haim, Eli Singerman, A. Tiemeyer, Moshe Y. Vardi, Yael Zbar

Publication date 4 August 2004

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

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)

Recommendations

• scientific article; zbMATH DE number 1796144
• On Regular Temporal Logics with Past,
• A really temporal logic
• On regular temporal logics with past
• scientific article; zbMATH DE number 3889506

Cited in

(28)

• Linear-time temporal logic with event freezing functions
• Linear temporal logic symbolic model checking
• Matching Trace Patterns with Regular Policies
• Distributed PROMPT-LTL synthesis
• Safety and Liveness, Weakness and Strength, and the Underlying Topological Relations
• scientific article; zbMATH DE number 1796144 (Why is no real title available?)
• Linear-Time Model Checking: Automata Theory in Practice
• Propositional Dynamic Logic for Hyperproperties
• CTRL: extension of CTL with regular expressions and fairness operators to verify genetic regulatory networks
• An abstraction-refinement framework for trigger querying
• On temporal logic and signal processing
• Visibly linear temporal logic
• Bounded model checking of ETL cooperating with finite and looping automata connectives
• scientific article; zbMATH DE number 2038760 (Why is no real title available?)
• On regular temporal logics with past
• Temporal logics with language parameters
• The use of contract specifications for representing requirements and for functional testing of hardware models
• Branching vs. Linear Time: Semantical Perspective
• Parametric linear dynamic logic
• From Philosophical to Industrial Logics
• Compositional verification of asynchronous concurrent systems using CADP
• Distributed synthesis for parameterized temporal logics
• Incorporating monitors in reactive synthesis without paying the price
• Automata theory and model checking
• Functional specification of hardware via temporal logic
• Runtime verification of embedded real-time systems
• From Monadic Logic to PSL
• Automata-Theoretic Model Checking Revisited

Describes a project that uses

Uses Software

• NuSMV

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4472249)