Temporal verification of reactive systems: response
From MaRDI portal
Publication:3587259
Recommendations
Cited in
(53)- Affine Loop Invariant Generation via Matrix Algebra
- Efficient reactive synthesis using mode decomposition
- Boolean abstractions for realizability modulo theories
- Nontransitive temporal multiagent logic, information and knowledge, deciding algorithms
- Towards a thread-local proof technique for starvation freedom
- Directed graph encoding in quantum computing supporting edge-failures
- Formal communication elimination and sequentialization equivalence proofs for distributed system models
- A temporal negative normal form which preserves implicants and implicates
- Parametrized invariance for infinite state processes
- Liveness by Invisible Invariants
- Collecting statistics over runtime executions
- Verifying a simplification of mutual exclusion by Lycklama-Hadzilacos
- Game Quantification Patterns
- Runtime verification of real-time event streams using the tool HStriver
- On automation in the verification of software barriers: experience report
- A temporal logic for asynchronous hyperproperties
- Temporal causality in reactive systems
- Realizability of real-time logics
- Mechanizing a process algebra for network protocols
- Generalizing the template polyhedral domain
- Rewriting-based runtime verification for alternation-free HyperLTL
- Graph Games and Reactive Synthesis
- Leveraging Horn clause solving for compositional verification of PLC software
- Generating invariants for non-linear loops by linear algebraic methods
- Synthesis of large dynamic concurrent programs from dynamic specifications
- Functional analysis of large-scale DNA strand displacement circuits
- Adaptation of Open Component-Based Systems
- A proof theory for model checking
- Unification and Inference Rules in the Multi-modal Logic of Knowledge and Linear Time LTK
- Temporal normal form for linear temporal logic formulae
- SAT-Based Model Checking without Unrolling
- Specification and verification of concurrent programs through refinements
- Inference rules in multi-agents' temporal logics
- Formal verification and quantitative metrics of MPSoC data dynamics
- RGITL: a temporal logic framework for compositional reasoning about interleaved programs
- On the key dependent message security of the Fujisaki-Okamoto constructions
- Modelling timed reactive systems from natural-language requirements
- Distributed and predictable software model checking
- Linear temporal logic with non-transitive time, algorithms for decidability and verification of admissibility
- Back to the future: a fresh look at linear temporal logic
- Horn clause solvers for program verification
- Verifying Reference Counting Implementations
- A practical integration of first-order reasoning and decision procedures
- Deductive verification of alternating systems
- Theoretical and practical approaches to the denotational semantics for MDESL based on UTP
- Proof-based verification approaches for dynamic properties: application to the information system domain
- scientific article; zbMATH DE number 5734786 (Why is no real title available?)
- Safety assurance via on-line monitoring
- Finite-trace linear temporal logic: coinductive completeness
- Parametrized verification diagrams: temporal verification of symmetric parametrized concurrent systems
- Automation of quantitative information-flow analysis
- Synthesizing efficient systems in probabilistic environments
- Sound concurrent traces for online monitoring
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)
