Back to Results
First PageMeta Content
Computing / Computer memory / Memory barrier / Static single assignment form / Symbolic execution / Computer engineering


Partial Orders for Efficient Bounded Model Checking of Concurrent Software? Jade Alglave1 , Daniel Kroening2 , and Michael Tautschnig3 1 3
Add to Reading List

Open Document

File Size: 366,65 KB

Share Result on Facebook
UPDATE