Uncovering Bugs in P4 Programs with Assertion-based Verification.
Lucas FreireMiguel C. NevesLucas LealKirill LevchenkoAlberto E. Schaeffer FilhoMarinho P. BarcellosPublished in: SOSR (2018)
Keyphrases
- symbolic execution
- hardware designs
- computer programs
- databases
- static analysis
- source code
- multi agent systems
- verification method
- test cases
- programs written
- real time
- model checking
- data mining applications
- open source
- face verification
- formal analysis
- signature verification
- root cause
- fingerprint verification
- control program
- artificial intelligence