Verifying concurrent software using movers in CSPEC.

Tej Chajed M. Frans Kaashoek Butler W. Lampson Nickolai Zeldovich

Published in: OSDI (2018)

Keyphrases

software development
source code
computer systems
software systems
commercial software
software components
software tools
data flow
software design
software engineering
design patterns
software maintenance
software testing
software quality
software package
computer software