skip to main content
poster

A (not) NICE way to verify the openflow switch specification: formal modelling of the openflow switch using alloy

Published: 27 August 2013 Publication History

Abstract

No abstract available.

References

[1]
http://alloy.mit.edu/alloy/citations/case-studies.html.
[2]
http://cs-people.bu.edu/natalir/ofswitch/.
[3]
Openflow switch specification version 1.1.0, 2011.
[4]
M. Canini, D. Venzano, P. Peresini, D. Kostic, and J. Rexford. A nice way to test openflow applications. NSDI, Apr, 2012.
[5]
D. Jackson. Software Abstractions: logic, language, and analysis. The MIT Press, 2006.
[6]
I. Stoica, R. Morris, D. Karger, M. F. Kaashoek, and H. Balakrishnan. Chord: A scalable peertopeer lookup service for internet applications. ACM SIGCOMM 2001, 2001.
[7]
P. Zave. Lightweight verification of network protocols: The case of chord. Unpublished, http://www2. research. att.com/~ pamela/chord. pdf, 158, 2009.

Cited By

View all
  • (2021)HawkEye: User-Guided Enumeration of Scenarios2021 IEEE 32nd International Symposium on Software Reliability Engineering (ISSRE)10.1109/ISSRE52982.2021.00064(569-578)Online publication date: Oct-2021
  • (2021)flackProceedings of the 43rd International Conference on Software Engineering10.1109/ICSE43902.2021.00065(637-648)Online publication date: 22-May-2021
  • (2020)Fault Localization for Declarative Models in Alloy2020 IEEE 31st International Symposium on Software Reliability Engineering (ISSRE)10.1109/ISSRE5003.2020.00044(391-402)Online publication date: Oct-2020
  • Show More Cited By

Index Terms

  1. A (not) NICE way to verify the openflow switch specification: formal modelling of the openflow switch using alloy

    Recommendations

    Comments

    Information & Contributors

    Information

    Published In

    cover image ACM SIGCOMM Computer Communication Review
    ACM SIGCOMM Computer Communication Review  Volume 43, Issue 4
    October 2013
    595 pages
    ISSN:0146-4833
    DOI:10.1145/2534169
    Issue’s Table of Contents
    • cover image ACM Conferences
      SIGCOMM '13: Proceedings of the ACM SIGCOMM 2013 conference on SIGCOMM
      August 2013
      580 pages
      ISBN:9781450320566
      DOI:10.1145/2486001
    Permission to make digital or hard copies of part or all of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for third-party components of this work must be honored. For all other uses, contact the Owner/Author.

    Publisher

    Association for Computing Machinery

    New York, NY, United States

    Publication History

    Published: 27 August 2013
    Published in SIGCOMM-CCR Volume 43, Issue 4

    Check for updates

    Author Tags

    1. alloy
    2. openflow switch

    Qualifiers

    • Poster

    Contributors

    Other Metrics

    Bibliometrics & Citations

    Bibliometrics

    Article Metrics

    • Downloads (Last 12 months)68
    • Downloads (Last 6 weeks)13
    Reflects downloads up to 20 Feb 2025

    Other Metrics

    Citations

    Cited By

    View all
    • (2021)HawkEye: User-Guided Enumeration of Scenarios2021 IEEE 32nd International Symposium on Software Reliability Engineering (ISSRE)10.1109/ISSRE52982.2021.00064(569-578)Online publication date: Oct-2021
    • (2021)flackProceedings of the 43rd International Conference on Software Engineering10.1109/ICSE43902.2021.00065(637-648)Online publication date: 22-May-2021
    • (2020)Fault Localization for Declarative Models in Alloy2020 IEEE 31st International Symposium on Software Reliability Engineering (ISSRE)10.1109/ISSRE5003.2020.00044(391-402)Online publication date: Oct-2020
    • (2019)ARepairProceedings of the 41st International Conference on Software Engineering: Companion Proceedings10.1109/ICSE-Companion.2019.00049(103-106)Online publication date: 25-May-2019
    • (2018)CompoSAT: Specification-Guided Coverage for Model FindingFormal Methods10.1007/978-3-319-95582-7_34(568-587)Online publication date: 12-Jul-2018
    • (2017)The power of "why" and "why not": enriching scenario exploration with provenanceProceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering10.1145/3106237.3106272(106-116)Online publication date: 21-Aug-2017
    • (2017)User Studies of Principled Model Finder OutputSoftware Engineering and Formal Methods10.1007/978-3-319-66197-1_11(168-184)Online publication date: 13-Aug-2017
    • (2023)Joint Optimization of Response Time and Deployment Cost in Next-Gen IoT ApplicationsIEEE Internet of Things Journal10.1109/JIOT.2022.316564610:5(3968-3981)Online publication date: 1-Mar-2023
    • (2022)ATR: template-based repair for Alloy specificationsProceedings of the 31st ACM SIGSOFT International Symposium on Software Testing and Analysis10.1145/3533767.3534369(666-677)Online publication date: 18-Jul-2022
    • (2022)Applying cognitive principles to model-finding output: the positive value of negative informationProceedings of the ACM on Programming Languages10.1145/35273236:OOPSLA1(1-29)Online publication date: 29-Apr-2022
    • Show More Cited By

    View Options

    Login options

    View options

    PDF

    View or Download as a PDF file.

    PDF

    eReader

    View online with eReader.

    eReader

    Figures

    Tables

    Media

    Share

    Share

    Share this Publication link

    Share on social media