Back to Results
First PageMeta Content
Theoretical 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 ABSTRACT
Add to Reading List

Document Date: 2016-06-05 23:38:43

Open Document

File Size: 186,83 KB

Share Result on Facebook