Pages that link to "Item:Q5711509"
From MaRDI portal
The following pages link to Verification, Model Checking, and Abstract Interpretation (Q5711509):
Displayed 8 items.
- Synthesis of large dynamic concurrent programs from dynamic specifications (Q346790) (← links)
- Efficient verification of concurrent systems using local-analysis-based approximations and SAT solving (Q2418047) (← links)
- Deadlock-freedom in component systems with architectural constraints (Q2441719) (← links)
- Mitigating Multi-target Attacks in Hash-Based Signatures (Q2798784) (← links)
- The Automatic Detection of Token Structures and Invariants Using SAT Checking (Q3303932) (← links)
- Robustness in Interaction Systems (Q3612362) (← links)
- Cross-Checking - Enhanced Over-Approximation of the Reachable Global State Space of Component-Based Systems (Q3646263) (← links)
- Finite-state concurrent programs can be expressed in pairwise normal form (Q5964014) (← links)