Back to Results
First PageMeta Content
Computer network / Q / Computing / Computer programming / Software engineering / Invariant / Loop invariant


VeriCon: Towards Verifying Controller Programs in Software-Defined Networks Thomas Ball and Nikolaj Bjørner Aaron Gember
Add to Reading List

Document Date: 2014-04-01 15:04:03

Open Document

File Size: 290,54 KB

Share Result on Facebook

City

Edinburgh / /

Company

Asaf Valadarsky Abstract Software / VeriCon / SDNs / Modeling SDN Properties / Verification Keywords Software / Consistent SDN / Core SDN / Intel / /

Country

United Kingdom / /

Currency

pence / USD / /

/

Facility

port O. This / port I Table / port O Packet Src / port I1 / port I / GraphViz library / port O / port I2 / Hebrew University / port X / /

IndustryTerm

authentication protocol / multi-tenant networks / authentication server / link-level discovery protocol / simpler verification technology / software-based network / applications / large networks / closed software environments / web-traffic / technology / software-defined network / software-defined networks / computing / network management / network protocols / /

OperatingSystem

OSX / L3 / /

Organization

US Federal Reserve / Tel Aviv University / Hebrew University / /

Person

Nat / Michael Schapira / Nikolaj Bjørner Aaron Gember Shachar / Aleksandr Karbyshev Mooly Sagiv Technische / Aaron Gember Shachar Itzhaky / /

Position

guards model controller / arbitrary controller / General / Cond controller / @forward / Verifying Controller Programs / Controller Programs / network authentication controller / forward / controller / programmer / /

Product

Stratos / Z3 / /

ProgrammingLanguage

Java / Yacc / Python / /

RadioStation

Core / /

Technology

authentication protocol / API / link-level discovery protocol / operating system / two network protocols / simpler verification technology / Java / firewall / network protocols / /

URL

http /

SocialTag