scientific article; zbMATH DE number 2080056
From MaRDI portal
Publication:4472249
zbMATH Open1043.68563MaRDI QIDQ4472249FDOQ4472249
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
Title of this publication is not available (Why is that?)
Recommendations
Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)
Cited In (28)
- Propositional Dynamic Logic for Hyperproperties
- Matching Trace Patterns with Regular Policies
- Visibly linear temporal logic
- Automata theory and model checking
- Safety and Liveness, Weakness and Strength, and the Underlying Topological Relations
- On regular temporal logics with past
- CTRL: extension of CTL with regular expressions and fairness operators to verify genetic regulatory networks
- The use of contract specifications for representing requirements and for functional testing of hardware models
- Title not available (Why is that?)
- An abstraction-refinement framework for trigger querying
- Linear-Time Model Checking: Automata Theory in Practice
- Branching vs. Linear Time: Semantical Perspective
- Incorporating monitors in reactive synthesis without paying the price
- Distributed synthesis for parameterized temporal logics
- On temporal logic and signal processing
- From Monadic Logic to PSL
- Automata-Theoretic Model Checking Revisited
- Linear temporal logic symbolic model checking
- Distributed PROMPT-LTL synthesis
- Bounded model checking of ETL cooperating with finite and looping automata connectives
- Functional specification of hardware via temporal logic
- Runtime verification of embedded real-time systems
- From Philosophical to Industrial Logics
- Compositional verification of asynchronous concurrent systems using CADP
- Linear-time temporal logic with event freezing functions
- Title not available (Why is that?)
- Temporal logics with language parameters
- Parametric linear dynamic logic
Uses Software
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)
