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