Barriers in Concurrent Separation Logic: Now With Tool Support!

Aquinas Hobor Cristian Gherghina

Published in: Log. Methods Comput. Sci. (2012)

Keyphrases

tool support
software development
software engineering
software tools
design decisions
software projects
logic programming
requirements engineering
modal logic
test suite
multi valued
classical logic
database
information systems
logical framework