The following pages link to (Q4779111):
Displaying 9 items.
- A model checking-based approach for security policy verification of mobile systems (Q432137) (← links)
- Deadlock checking by data race detection (Q465488) (← links)
- A shared-variable concurrency analysis of multi-threaded object-oriented programs (Q1004057) (← links)
- Precise interprocedural dependence analysis of parallel programs (Q1884938) (← links)
- Verification of Boolean programs with unbounded thread creation (Q2464944) (← links)
- Analyzing Asynchronous Programs with Preemption (Q3165945) (← links)
- (Q3639597) (← links)
- Applying Formal Methods: Testing, Performance, and M/E-Commerce (Q5394045) (← links)
- Static Analysis Via Abstract Interpretation of the Happens-Before Memory Model (Q5458814) (← links)