Pages that link to "Item:Q3636854"
From MaRDI portal
The following pages link to Symbolic Counter Abstraction for Concurrent Software (Q3636854):
Displaying 11 items.
- Context-aware counter abstraction (Q600978) (← links)
- On the completeness of bounded model checking for threshold-based distributed algorithms: reachability (Q729813) (← links)
- Modeling and efficient verification of wireless ad hoc networks (Q1688557) (← links)
- \(\text{Para}^2\): parameterized path reduction, acceleration, and SMT for reachability in threshold-guarded distributed algorithms (Q1696580) (← links)
- Multi-scale verification of distributed synchronisation (Q2225471) (← links)
- Analysis of correct synchronization of operating system components (Q2226972) (← links)
- Finding cut-offs in leaderless rendez-vous protocols is easy (Q2233393) (← links)
- SAT-Based Model Checking (Q3176368) (← links)
- Correct Hardware Design and Verification Methods (Q5493233) (← links)
- Finding Cut-Offs in Leaderless Rendez-Vous Protocols is Easy (Q6076175) (← links)
- Counter abstraction for regular open teams (Q6663521) (← links)