First Page | Document Content | |
---|---|---|
Date: 2016-06-05 23:38:43Theoretical computer science Formal methods Formal verification Software-defined networking Software verification Turing machine Finite-state machine Model checking Temporal logic OpenFlow Computer science Distributed computing | Declarative Verifiable SDI Specifications Rick McGeer US Ignite ABSTRACTAdd to Reading ListSource URL: spw16.langsec.orgDownload Document from Source WebsiteFile Size: 186,83 KBShare Document on Facebook |