Toward a verifiable software dataplane.

Mihai Dobrescu Katerina J. Argyraki

Published in: HotNets (2013)

Keyphrases

source code
hardware design
software tools
software development
software systems
user interface
test cases
learning algorithm
neural network
software developers
software design
relational databases
case study
information systems
real time
sufficient conditions
computer systems
software architecture
data sets