Verification of software barriers.

Alexander Malkis Anindya Banerjee

Published in: PPOPP (2012)

Keyphrases

software design
software development
computer systems
software tools
source code
software package
formal methods
computer software
software architecture
software packages
software maintenance
software projects
formal verification
machine learning
embedded systems
software components
software systems
user interface