Login / Signup
Towards Runtime Verification of Programmable Switches.
Apoorv Shukla
Kevin Nico Hudemann
Zsolt Vági
Lily Hügerich
Georgios Smaragdakis
Stefan Schmid
Artur Hecker
Anja Feldmann
Published in:
CoRR (2020)
Keyphrases
</>
model checking
low cost
signature verification
search engine
general purpose
face verification
asynchronous circuits
neural network
similarity measure
concurrent systems
real time
decision trees
functional verification