Login / Signup
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