Algebraic Principles for Rely-Guarantee Style Concurrency Verification Tools.

Alasdair Armstrong Victor B. F. Gomes Georg Struth

Published in: FM (2014)

Keyphrases

concurrency control
database systems
design principles
model checking
formal methods
software tools
end users
building blocks
concurrent execution
website
algebraic structure
signature verification
visualization tools
user friendly
theoretical framework
decision support
higher order
expert systems