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 条
  • [21] A practical method of documenting and verifying Ada programs with packages. Program Verification and Verification-Oriented Programming
    Luckham, David C.
    Polak, Wolfgang
    ACM SIGPLAN Notices, 1980, 15 (11): : 113 - 122
  • [22] PROTOCOL VERIFICATION MADE SIMPLE - A TUTORIAL
    GOUDA, MG
    COMPUTER NETWORKS AND ISDN SYSTEMS, 1993, 25 (09): : 969 - 980
  • [23] Verification and validation of an intelligent tutorial system
    Aguilar, R. M.
    Munoz, V.
    Noda, M.
    Bruno, A.
    Moreno, L.
    EXPERT SYSTEMS WITH APPLICATIONS, 2008, 35 (03) : 677 - 685
  • [24] Verification of hybrid systems -: (Invited tutorial)
    Fraenzle, Martin
    Computer Aided Verification, Proceedings, 2007, 4590 : 38 - 38
  • [25] Tutorial: Continuous Verification of Critical Software
    Dodds, Mike
    Magill, Stephen
    Tomb, Aaron
    2018 IEEE CYBERSECURITY DEVELOPMENT CONFERENCE (SECDEV 2018), 2018, : 128 - 129
  • [26] Simulation verification, validation and confidence: A tutorial
    Robinson, S
    TRANSACTIONS OF THE SOCIETY FOR COMPUTER SIMULATION INTERNATIONAL, 1999, 16 (02): : 63 - 69
  • [27] FORMAL VERIFICATION OF SEQUENTIAL HARDWARE - A TUTORIAL
    MCFARLAND, MC
    IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 1993, 12 (05) : 633 - 654
  • [28] THE PRACTICAL CONVERSION OF LINEAR-PROGRAMS TO NETWORK FLOW MODELS
    BASTON, VJD
    RAHMOUNI, MK
    WILLIAMS, HP
    EUROPEAN JOURNAL OF OPERATIONAL RESEARCH, 1991, 50 (03) : 325 - 334
  • [29] PROGRAMS FOR VISUAL PSYCHOPHYSICS ON THE AMIGA - A TUTORIAL
    ANSTIS, S
    PARADISO, M
    BEHAVIOR RESEARCH METHODS INSTRUMENTS & COMPUTERS, 1989, 21 (05): : 548 - 563
  • [30] COMPUTER-PROGRAMS THAT KNOW - A TUTORIAL
    LUNDBERG, CG
    ROBINSON, VB
    COMPUTERS ENVIRONMENT AND URBAN SYSTEMS, 1988, 12 (01) : 49 - 71
12345