Temporal verification of reactive systems: response
From MaRDI portal
Publication:3587259
DOI10.1007/978-3-642-13754-9_13zbMATH Open1288.68169OpenAlexW1606403830MaRDI QIDQ3587259FDOQ3587259
Authors: Zohar Manna, Amir Pnueli 
Publication date: 7 September 2010
Published in: Time for Verification (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-13754-9_13
Recommendations
Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60)
Cited In (53)
- Efficient reactive synthesis using mode decomposition
- Affine Loop Invariant Generation via Matrix Algebra
- Boolean abstractions for realizability modulo theories
- Liveness by Invisible Invariants
- RGITL: a temporal logic framework for compositional reasoning about interleaved programs
- Verifying Reference Counting Implementations
- Title not available (Why is that?)
- A temporal logic for asynchronous hyperproperties
- A temporal negative normal form which preserves implicants and implicates
- Unification and Inference Rules in the Multi-modal Logic of Knowledge and Linear Time LTK
- Specification and verification of concurrent programs through refinements
- Rewriting-based runtime verification for alternation-free HyperLTL
- Adaptation of Open Component-Based Systems
- Mechanizing a process algebra for network protocols
- Horn clause solvers for program verification
- Back to the future: a fresh look at linear temporal logic
- Sound concurrent traces for online monitoring
- Synthesizing efficient systems in probabilistic environments
- Towards a thread-local proof technique for starvation freedom
- Collecting statistics over runtime executions
- Realizability of real-time logics
- Distributed and predictable software model checking
- Safety assurance via on-line monitoring
- Temporal normal form for linear temporal logic formulae
- Modelling timed reactive systems from natural-language requirements
- Runtime verification of real-time event streams using the tool HStriver
- On automation in the verification of software barriers: experience report
- Inference rules in multi-agents' temporal logics
- Theoretical and practical approaches to the denotational semantics for MDESL based on UTP
- Automation of quantitative information-flow analysis
- Formal communication elimination and sequentialization equivalence proofs for distributed system models
- Finite-trace linear temporal logic: coinductive completeness
- Game Quantification Patterns
- Graph Games and Reactive Synthesis
- Functional analysis of large-scale DNA strand displacement circuits
- On the key dependent message security of the Fujisaki-Okamoto constructions
- Generating invariants for non-linear loops by linear algebraic methods
- A practical integration of first-order reasoning and decision procedures
- Proof-based verification approaches for dynamic properties: application to the information system domain
- Synthesis of large dynamic concurrent programs from dynamic specifications
- Leveraging Horn clause solving for compositional verification of PLC software
- Parametrized invariance for infinite state processes
- Temporal causality in reactive systems
- Parametrized verification diagrams: temporal verification of symmetric parametrized concurrent systems
- Verifying a simplification of mutual exclusion by Lycklama-Hadzilacos
- A proof theory for model checking
- Deductive verification of alternating systems
- Nontransitive temporal multiagent logic, information and knowledge, deciding algorithms
- SAT-Based Model Checking without Unrolling
- Formal verification and quantitative metrics of MPSoC data dynamics
- Linear temporal logic with non-transitive time, algorithms for decidability and verification of admissibility
- Generalizing the template polyhedral domain
- Directed graph encoding in quantum computing supporting edge-failures
This page was built for publication: Temporal verification of reactive systems: response
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3587259)
