Login / Signup
Software Dataplane Verification.
Mihai Dobrescu
Katerina J. Argyraki
Published in:
NSDI (2014)
Keyphrases
</>
software development
model checking
source code
software tools
data sets
formal verification
formal methods
software maintenance
software systems
computer systems
database
software design
hardware design
embedded systems
software architecture
reverse engineering
software package
software application
hardware designs