Runtime Verification for Software Transactional Memories.

Published in: RV (2010)

Keyphrases

software systems
software package
software development
software architecture
formal verification
software design
hardware designs
model checking
formal methods
computer systems
software tools
software projects
software maintenance
software developers
user interface
software components
source code