The following pages link to (Q4936148):
Displaying 28 items.
- Parameterised verification for multi-agent systems (Q253980) (← links)
- Forward analysis and model checking for trace bounded WSTS (Q290914) (← links)
- Symbolic reachability analysis using narrowing and its application to verification of cryptographic protocols (Q880981) (← links)
- Parameterized verification of time-sensitive models of ad hoc network protocols (Q896913) (← links)
- Approximated parameterized verification of infinite-state processes with global conditions (Q1039841) (← links)
- Well-abstracted transition systems: Application to FIFO automata. (Q1401924) (← links)
- Parameterized model checking of rendezvous systems (Q1635829) (← links)
- Population protocols with unreliable communication (Q2148893) (← links)
- Running time analysis of broadcast consensus protocols (Q2233402) (← links)
- Computable fixpoints in well-structured symbolic model checking (Q2248074) (← links)
- Compositional analysis for verification of parameterized systems (Q2368952) (← links)
- On the \(\omega\)-language expressive power of extended Petri nets (Q2491637) (← links)
- State space analysis of Petri nets with relation-algebraic methods (Q2518607) (← links)
- Expand, enlarge and check: new algorithms for the coverability problem of WSTS (Q2581762) (← links)
- Well-structured languages (Q2641880) (← links)
- Protocols with constant local storage and unreliable communication (Q2699979) (← links)
- Narrowing and Rewriting Logic: from Foundations to Applications (Q2873786) (← links)
- Forward Analysis and Model Checking for Trace Bounded WSTS (Q3011881) (← links)
- Forward analysis for WSTS, part I: completions (Q3386750) (← links)
- Monotonic Abstraction for Programs with Dynamic Memory Heaps (Q3512503) (← links)
- An Assertional Language for the Verification of Systems Parametric in Several Dimensions (Q4921503) (← links)
- Monotonic Abstraction in Parameterized Verification (Q4982082) (← links)
- (Q5009428) (← links)
- (Q5114831) (← links)
- (Q5136306) (← links)
- (Q5155662) (← links)
- Monotonic Abstraction in Action (Q5505593) (← links)
- Expressive Power of Broadcast Consensus Protocols (Q5875393) (← links)
