Automated Verification of Customizable Middlebox Properties with Gravel.

Kaiyuan Zhang Danyang Zhuo Aditya Akella Arvind Krishnamurthy Xi Wang

Published in: NSDI (2020)

Keyphrases

automated verification
model checking
real time
automated reasoning
information systems
databases
mobile robot
structural properties