C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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