scientific article; zbMATH DE number 1392309
From MaRDI portal
Publication:4936148
Cited in
(31)- Approximated parameterized verification of infinite-state processes with global conditions
- Well-abstracted transition systems: Application to FIFO automata.
- Parameterized model checking of rendezvous systems
- Population protocols with unreliable communication
- Running time analysis of broadcast consensus protocols
- Computable fixpoints in well-structured symbolic model checking
- Compositional analysis for verification of parameterized systems
- On the \(\omega\)-language expressive power of extended Petri nets
- State space analysis of Petri nets with relation-algebraic methods
- Parameterised verification for multi-agent systems
- Expand, enlarge and check: new algorithms for the coverability problem of WSTS
- Well-structured languages
- Protocols with constant local storage and unreliable communication
- Narrowing and rewriting logic: from foundations to applications
- Forward analysis and model checking for trace bounded WSTS
- Forward analysis and model checking for trace bounded WSTS
- Forward analysis for WSTS, part I: completions
- Monotonic Abstraction for Programs with Dynamic Memory Heaps
- An assertional language for the verification of systems parametric in several dimensions (preliminary results)
- Monotonic abstraction in parameterized verification
- Affine extensions of integer vector addition systems with states
- Forward analysis for WSTS. III: Karp-Miller trees
- Forward analysis for WSTS. III: Karp-Miller trees
- Affine extensions of integer vector addition systems with states
- Monotonic Abstraction in Action
- Expressive Power of Broadcast Consensus Protocols
- Parameterized broadcast networks with registers: from NP to the frontiers of decidability
- Monodic fragments of probabilistic first-order temporal logic with bounded semantics
- Wait-only broadcast protocols are easier to verify
- Symbolic reachability analysis using narrowing and its application to verification of cryptographic protocols
- Parameterized verification of time-sensitive models of ad hoc network protocols
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 Q4936148)
