Beyond storage APIs: provable semantics for storage stacks
VeriCon: towards verifying controller programs in software-defined networks