A Rely-Guarantee Proof System for x86-TSO.

Published in: VSTTE (2010)

Keyphrases

modal logic
mobile robot
database
real time
databases
information systems
image sequences
face recognition
multiscale
search space