Algebraic Principles for Rely-Guarantee Style Concurrency Verification Tools.

Alasdair Armstrong Victor B. F. Gomes Georg Struth

Published in: CoRR (2013)

Keyphrases

design principles
end users
decision support
software tools
database systems
model checking
face verification
database
databases
software development
user friendly
concurrency control
formal methods