Tutorial: Practical Verification of Network Programs

被引：0
|
作者：
Foster, Nate [1 ]
Guha, Arjun [2 ]
Reitblatt, Mark [1 ]
Schlesinger, Cole [3 ]
机构：
[1] Cornell Univ, Ithaca, NY 14853 USA
[2] Univ Massachusetts, Amherst, MA 01003 USA
[3] Princeton Univ, Princeton, NJ 08544 USA
来源：
2013 FORMAL METHODS IN COMPUTER-AIDED DESIGN (FMCAD) | 2013年
基金：
美国国家科学基金会;
关键词：
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：9 / +
页数：2
相关论文
共 50 条
  • [41] Concept to Product - Design, Verification & Test: A Tutorial
    Singh, Virendra
    Saluja, Kewal K.
    2013 26TH INTERNATIONAL CONFERENCE ON VLSI DESIGN AND 2013 12TH INTERNATIONAL CONFERENCE ON EMBEDDED SYSTEMS (VLSID), 2013, : LI - LIII
  • [42] AN INTRODUCTORY TUTORIAL ON VERIFICATION AND VALIDATION OF SIMULATION MODELS
    Sargent, Robert G.
    2015 WINTER SIMULATION CONFERENCE (WSC), 2015, : 1729 - 1740
  • [43] Rule Systems for Runtime Verification: A Short Tutorial
    Barringer, Howard
    Havelund, Klaus
    Rydeheard, David
    Groce, Alex
    RUNTIME VERIFICATION, 2009, 5779 : 1 - +
  • [44] Learning algorithms and formal verification (invited tutorial)
    Madhusudan, P.
    Verification, Model Checking, and Abstract Interpretation, Proceedings, 2007, 4349 : 214 - 214
  • [45] The Java']Java Verification Tool KeY:A Tutorial
    Beckert, Bernhard
    Bubel, Richard
    Drodt, Daniel
    Haehnle, Reiner
    Lanzinger, Florian
    Pfeifer, Wolfram
    Ulbrich, Mattias
    Weigl, Alexander
    FORMAL METHODS, PT II, FM 2024, 2025, 14934 : 597 - 623
  • [46] A Tutorial on Text-Independent Speaker Verification
    Frédéric Bimbot
    Jean-François Bonastre
    Corinne Fredouille
    Guillaume Gravier
    Ivan Magrin-Chagnolleau
    Sylvain Meignier
    Teva Merlin
    Javier Ortega-García
    Dijana Petrovska-Delacrétaz
    Douglas A. Reynolds
    EURASIP Journal on Advances in Signal Processing, 2004
  • [47] Automatic verification by abstract interpretation - (Invited tutorial)
    Cousot, P
    VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, 2003, 2575 : 20 - 24
  • [48] A tutorial on text-independent speaker verification
    Bimbot, F. (bimbot@irisa.fr), 1600, Hindawi Publishing Corporation (2004):
  • [49] A tutorial on text-independent speaker verification
    Bimbot, F
    Bonastre, JF
    Fredouille, C
    Gravier, G
    Magrin-Chagnolleau, I
    Meignier, S
    Merlin, T
    Ortega-García, J
    Petrovska-Delacrétaz, D
    Reynolds, DA
    EURASIP JOURNAL ON APPLIED SIGNAL PROCESSING, 2004, 2004 (04) : 430 - 451
  • [50] Tutorial: Parameterized Verification with Byzantine Model Checker
    Konnov, Igor
    Lazic, Marijana
    Stoilkovska, Ilina
    Widder, Josef
    FORMAL TECHNIQUES FOR DISTRIBUTED OBJECTS, COMPONENTS, AND SYSTEMS, FORTE 2020, 2020, 12136 : 189 - 207
12345