Verifying programs with unreliable channels
From MaRDI portal
Recommendations
Cited in
(only showing first 100 items - show all)- Verification of programs that destructively manipulated data
- Verification in loosely synchronous queue-connected discrete timed automata.
- Undecidable problems in unreliable computations.
- Cardinality constraints for arrays (decidability results and applications)
- Simulating perfect channels with probabilistic lossy channels
- Verifying lossy channel systems has nonprimitive recursive complexity.
- Counter machines and verification problems.
- Model checking of systems with many identical timed processes
- Expired data collection in shared dataspaces.
- Eliminating the storage tape in reachability constructions.
- Using forward reachability analysis for verification of lossy channel systems
- Unreliable channels are easier to verify than perfect channels
- Symbolic reachability analysis of FIFO-channel systems with nonregular sets of configurations
- Parameterized verification of coverability in infinite state broadcast networks
- On the termination and structural termination problems for counter machines with incrementing errors
- Guessing the buffer bound for k-synchronizability
- The decidability of verification under PS 2.0
- Data flow analysis of asynchronous systems using infinite abstract domains
- Computable fixpoints in well-structured symbolic model checking
- Some complexity results for stateful network verification
- Non-deterministic transducer models of retransmission protocols over noisy channels
- Finite reasons for safety. Parameterized verification by finite model finding
- The transformation monoid of a partially lossy queue
- Symblicit algorithms for mean-payoff and shortest path in monotonic Markov decision processes
- Quantitative analysis of probabilistic lossy channel systems
- A Kleene theorem and model checking algorithms for existentially bounded communicating automata
- A general approach to comparing infinite-state systems with their finite-state specifications
- \(\pi\)-calculus with noisy channels
- Verification of probabilistic systems with faulty communication
- Verification of programs with half-duplex communication
- Multiparty half-duplex systems and synchronous communications
- Complexity hierarchies beyond elementary
- Automated termination in model-checking modulo theories
- Automated formal analysis and verification: an overview
- Ideal abstractions for well-structured transition systems
- Forward analysis and model checking for trace bounded WSTS
- Forward analysis and model checking for trace bounded WSTS
- scientific article; zbMATH DE number 2086244 (Why is no real title available?)
- Well (and better) quasi-ordered transition systems
- Verification of a multidestination selective repeat procedure
- Rational, recognizable, and aperiodic sets in the partially lossy queue monoid
- Forward analysis for WSTS, part I: completions
- Parameterized Verification of Communicating Automata under Context Bounds
- On deciding synchronizability for asynchronously communicating systems
- A normalized form for FIFO protocols traces, application to the replay of mode-based protocols
- Monotonic Abstraction for Programs with Dynamic Memory Heaps
- Mixing Lossy and Perfect Fifo Channels
- On the Reachability Analysis of Acyclic Networks of Pushdown Systems
- On selective unboundedness of VASS
- Symbolic Verification of Communicating Systems with Probabilistic Message Losses: Liveness and Fairness
- A Language-Based Comparison of Extensions of Petri Nets with and without Whole-Place Operations
- Verification of Communication Protocols Using Abstract Interpretation of FIFO Queues
- Decidability Results for Restricted Models of Petri Nets with Name Creation and Replication
- The inclusion structure of partially lossy queue monoids and their trace submonoids
- Refinement-Based Verification of Communicating Unstructured Code
- Symbolic reachability analysis of FIFO-channel systems with nonregular sets of configurations
- Deciding properties of integral relational automata
- Undecidable verification problems for programs with unreliable channels
- Data communicating processes with unreliable channels
- scientific article; zbMATH DE number 1929967 (Why is no real title available?)
- scientific article; zbMATH DE number 1863156 (Why is no real title available?)
- An extension of lazy abstraction with interpolation for programs with arrays
- The two-phase commitment protocol in an extended -calculus
- Reachability as derivability, finite countermodels and verification
- Monotonic abstraction in parameterized verification
- Rational, recognizable, and aperiodic partially lossy queue languages
- The Cayley-graph of the queue monoid: logic and decidability
- The Parametric Complexity of Lossy Counter Machines
- Verification of flat FIFO systems
- Tutorial on parameterized model checking of fault-tolerant distributed algorithms
- View abstraction -- a tutorial (invited paper)
- Ordinal recursive complexity of unordered data nets
- Graph Grammar Modeling and Verification of Ad Hoc Routing Protocols
- Stochastic Games with Lossy Channels
- The ω-Regular Post Embedding Problem
- Post Embedding Problem Is Not Primitive Recursive, with Applications to Channel Systems
- Monotonic Abstraction in Action
- A classification of the expressive power of well-structured transition systems
- scientific article; zbMATH DE number 7327953 (Why is no real title available?)
- A Sound Algorithm for Asynchronous Session Subtyping
- Well-structured transition systems everywhere!
- Ensuring completeness of symbolic verification methods for infinite-state systems
- Guessing the Buffer Bound for k-Synchronizability
- Formal verification for event stream processing: model checking of BeepBeep stream processing pipelines
- Existential Definability over the Subword Ordering
- On the complexity of the linear-time μ-calculus for Petri Nets
- Parameterized broadcast networks with registers: from NP to the frontiers of decidability
- On the satisfiability of context-free string constraints with subword-ordering
- Towards generalised half-duplex systems
- Undecidable verification problems for programs with unreliable channels
- An automata-based approach for synchronizable mailbox communication
- TSO games -- on the decidability of safety games under the total store order semantics
- Reachability and safety games under TSO semantics
- TSO games -- on the decidability of safety games under the total store order semantics
- About decisiveness of dynamic probabilistic models
- Conversation protocols: a formalism for specification and verification of reactive electronic services
- An automata-based approach for synchronizable mailbox communication
- On the send-synchronizability problem for mailbox communication
- Reachability problems on reliable and lossy queue automata
- An automatic abstraction technique for verifying featured, parameterised systems
This page was built for publication: Verifying programs with unreliable channels
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1923094)
