VeriCon
- 9 June 2014
- conference paper
- conference paper
- Published by Association for Computing Machinery (ACM)
- Vol. 49 (6), 282-293
- https://doi.org/10.1145/2594291.2594317
Abstract
No abstract availableKeywords
Funding Information
- Seventh Framework Programme (321174-VSSC)
- Technical University of Munich
This publication has 14 references indexed in Scilit:
- NetKATPublished by Association for Computing Machinery (ACM) ,2014
- B4Published by Association for Computing Machinery (ACM) ,2013
- Machine-verified network controllersPublished by Association for Computing Machinery (ACM) ,2013
- Languages for software-defined networksIEEE Communications Magazine, 2013
- A SOFT way for openflow switch interoperability testingPublished by Association for Computing Machinery (ACM) ,2012
- VeriflowACM SIGCOMM Computer Communication Review, 2012
- Verification conditions for source-level imperative programsComputer Science Review, 2011
- Z3: An Efficient SMT SolverLecture Notes in Computer Science, 2008
- DARTPublished by Association for Computing Machinery (ACM) ,2005
- Guarded commands, nondeterminacy and formal derivation of programsCommunications of the ACM, 1975