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 条
  • [1] Formal Verification of Practical MPI Programs
    Vo, Anh
    Vakkalanka, Sarvani
    DeLisi, Michael
    Gopalakrishnan, Ganesh
    Kirby, Robert M.
    Thakur, Rajeev
    ACM SIGPLAN NOTICES, 2009, 44 (04) : 261 - 269
  • [2] Practical Verification of Railway Signalling Programs
    Iliasov, Alexei
    Taylor, Dominic
    Laibinis, Linas
    Romanovsky, Alexander
    IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING, 2023, 20 (01) : 695 - 707
  • [3] Practical Deductive Verification of OCaml Programs
    Pereira, Mario
    FORMAL METHODS, PT II, FM 2024, 2025, 14934 : 518 - 542
  • [4] Regression verification - A practical way to verify programs
    Strichman, Ofer
    Godlin, Benny
    VERIFIED SOFTWARE: THEORIES, TOOLS, EXPERIMENTS, 2008, 4171 : 496 - 501
  • [5] Computational Verification of Network Programs in Coq
    Stewart, Gordon
    CERTIFIED PROGRAMS AND PROOFS, CPP 2013, 2013, 8307 : 33 - 49
  • [6] A Practical Type Analysis for Verification of Modular Prolog Programs
    Pietrzak, Pawel
    Correas, Jesus
    Puebla, German
    Hermenegildo, Manuel V.
    PEPM'08: PROCEEDINGS OF THE 2008 ACM SIGPLAN SYMPOSIUM ON PARTIAL EVALUATION AND SEMANTICS-BASED PROGRAM MANIPULATION, 2008, : 61 - 70
  • [7] On the inadequacy of ordinary preconditions for the practical design and verification of programs
    Baber, RL
    NINTH INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING, PROCEEDINGS, 1998, : 43 - 48
  • [8] Network autonomic management: A tutorial with conceptual, functional and practical issues
    1600, IEEE Computer Society (12):
  • [9] Network Autonomic Management: A Tutorial with Conceptual, Functional and Practical Issues
    Bezerra, R. M. da S.
    Martins, J. S. B.
    IEEE LATIN AMERICA TRANSACTIONS, 2014, 12 (02) : 306 - 314
  • [10] Tutorial 1: Abstraction and refinement of concurrent programs and formal specification - A practical view
    Cansell, D
    PARALLEL AND DISTRIBUTED PROCESSING, PROCEEDINGS, 2000, 1800 : 1037 - 1038
12345