Pages that link to "Item:Q2936788"

The following pages link to Modular verification of concurrent assembly code with dynamic thread creation and termination (Q2936788):

Displaying 3 items.

• Formal verification of concurrent programs with Read-write locks (Q351980) (← links)
• Certifying low-level programs with hardware interrupts and preemptive threads (Q835764) (← links)
• A shared-variable concurrency analysis of multi-threaded object-oriented programs (Q1004057) (← links)