Pages that link to "Item:Q5898609"
From MaRDI portal
The following pages link to Verification, Model Checking, and Abstract Interpretation (Q5898609):
Displayed 9 items.
- Multiset rewriting for the verification of depth-bounded processes with name binding (Q714507) (← links)
- Handling infinitely branching well-structured transition systems (Q1686118) (← links)
- Petri nets with name creation for transient secure association (Q2510386) (← links)
- Ideal Abstractions for Well-Structured Transition Systems (Q2891435) (← links)
- Forward analysis for WSTS, part I: completions (Q3386750) (← links)
- Context-Bounded Analysis for Concurrent Programs with Dynamic Creation of Threads (Q3617755) (← links)
- (Q5009453) (← links)
- (Q5240148) (← links)
- A Forward-Backward Abstraction Refinement Algorithm (Q5452721) (← links)