Pages that link to "Item:Q2464944"
From MaRDI portal
The following pages link to Verification of Boolean programs with unbounded thread creation (Q2464944):
Displaying 6 items.
- Foundations of Boolean stream runtime verification (Q278752) (← links)
- A model checking-based approach for security policy verification of mobile systems (Q432137) (← links)
- Context-aware counter abstraction (Q600978) (← links)
- Lost in abstraction: monotonicity in multi-threaded programs (Q729809) (← links)
- Analysis of correct synchronization of operating system components (Q2226972) (← links)
- Counterexample-guided abstraction refinement for symmetric concurrent programs (Q2441711) (← links)