教程:网络程序的实际验证

2013 Formal Methods in Computer-Aided Design Pub Date : 2013-10-01 DOI:10.1109/FMCAD.2013.7035518

Nate Foster, Arjun Guha, Mark Reitblatt, Cole Schlesinger

{"title":"教程:网络程序的实际验证","authors":"Nate Foster, Arjun Guha, Mark Reitblatt, Cole Schlesinger","doi":"10.1109/FMCAD.2013.7035518","DOIUrl":null,"url":null,"abstract":"In this tutorial, we will show participants how to program software defined networks (SDN) in a modular way, using Frenetic's abstractions. We will build several realistic network applications from the ground up, and also learn to use more sophisticated modules, such as NAT and MAC-learning, which are part of the Frenetic standard library. We will also look under the hood to see how the Frenetic compiler and runtime system work.","PeriodicalId":346097,"journal":{"name":"2013 Formal Methods in Computer-Aided Design","volume":"17 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2013-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Tutorial: Practical verification of network programs\",\"authors\":\"Nate Foster, Arjun Guha, Mark Reitblatt, Cole Schlesinger\",\"doi\":\"10.1109/FMCAD.2013.7035518\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"In this tutorial, we will show participants how to program software defined networks (SDN) in a modular way, using Frenetic's abstractions. We will build several realistic network applications from the ground up, and also learn to use more sophisticated modules, such as NAT and MAC-learning, which are part of the Frenetic standard library. We will also look under the hood to see how the Frenetic compiler and runtime system work.\",\"PeriodicalId\":346097,\"journal\":{\"name\":\"2013 Formal Methods in Computer-Aided Design\",\"volume\":\"17 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2013-10-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2013 Formal Methods in Computer-Aided Design\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/FMCAD.2013.7035518\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2013 Formal Methods in Computer-Aided Design","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/FMCAD.2013.7035518","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 0

摘要

在本教程中，我们将向参与者展示如何使用狂热的抽象以模块化的方式编程软件定义网络(SDN)。我们将从头开始构建几个现实的网络应用程序，并学习使用更复杂的模块，如NAT和mac学习，这是狂热标准库的一部分。我们还将深入了解freatic编译器和运行时系统是如何工作的。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

Tutorial: Practical verification of network programs

In this tutorial, we will show participants how to program software defined networks (SDN) in a modular way, using Frenetic's abstractions. We will build several realistic network applications from the ground up, and also learn to use more sophisticated modules, such as NAT and MAC-learning, which are part of the Frenetic standard library. We will also look under the hood to see how the Frenetic compiler and runtime system work.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

2013 Formal Methods in Computer-Aided Design

自引率

0.00%

发文量