Lazy reachability analysis in distributed systems
From MaRDI portal
Publication:4608669
DOI10.4230/LIPICS.CONCUR.2016.17zbMATH Open1392.68305OpenAlexW2548863071MaRDI QIDQ4608669FDOQ4608669
Authors: Loïg Jezequel, Didier Lime 
Publication date: 21 March 2018
Full work available at URL: https://hal.science/hal-01699311
Recommendations
- Let's be lazy, we have time -- or, lazy reachability analysis for timed automata
- A work-efficient distributed algorithm for reachability analysis.
- A lazy query scheme for reachability analysis in Petri nets
- A work-efficient distributed algorithm for reachability analysis
- d-IRA: A Distributed Reachability Algorithm for Analysis of Linear Hybrid Automata
Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Distributed systems (68M14) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Cited In (14)
- A lazy query scheme for reachability analysis in Petri nets
- A scalable parallel algorithm for reachability analysis of very large circuits
- Correct Hardware Design and Verification Methods
- d-IRA: A Distributed Reachability Algorithm for Analysis of Linear Hybrid Automata
- Mitigating multi-target attacks in hash-based signatures
- Reachability in networks of register protocols under stochastic schedulers
- Distributed Lyapunov Functions in Analysis of Graph Models of Software
- Distributed algorithms for time optimal reachability analysis
- Is Lazy Abstraction a Decision Procedure for Broadcast Protocols?
- A work-efficient distributed algorithm for reachability analysis
- Let's be lazy, we have time -- or, lazy reachability analysis for timed automata
- Reachability analysis on distributed executions
- Efficient verification of concurrent systems using local-analysis-based approximations and SAT solving
- The automatic detection of token structures and invariants using SAT checking
This page was built for publication: Lazy reachability analysis in distributed systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4608669)
