Admit Your Weakness: Verifying Correctness on TSO Architectures.

Graeme Smith John Derrick Brijesh Dongol

Published in: FACS (2014)

Keyphrases

model checking
real world
information systems
image segmentation
decision making
three dimensional
cooperative
special case