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 条
  • [31] Verification Systems and Programs in Regional Television Stations That Are Members of the CIRCOM Network
    Ruas-Araujo, Jose
    Rodriguez-Martelo, Talia
    Maiz-Bar, Carmen
    JOURNALISM AND MEDIA, 2022, 3 (01): : 1 - 12
  • [32] CHEMISTRY TUTORIAL PROGRAMS ON DISPLAY TERMINALS
    HEIT, M
    JONES, WE
    WASSON, JS
    JOURNAL OF CHEMICAL EDUCATION, 1979, 56 (12) : 787 - 787
  • [33] ADAPTATION OF THE UNIVERSITY TUTORIAL PROGRAMS TO THE EHEA
    Carrasco-Gallego, Jose A.
    Hernandez Rubio, Carolina
    EDULEARN10: INTERNATIONAL CONFERENCE ON EDUCATION AND NEW LEARNING TECHNOLOGIES, 2010, : 2028 - 2036
  • [34] A Practical Tutorial on Explainable AI Techniques
    Bennetot, Adrien
    Donadello, Ivan
    Haouari, Ayoub el qadi el
    Dragoni, Mauro
    Frossard, Thomas
    Wagner, Benedikt
    Sarranti, Anna
    Tulli, Silvia
    Trocan, Maria
    Chatila, Raja
    Holzinger, Andreas
    Garcez, Artur d'avila
    Diaz-rodriguez, Natalia
    ACM COMPUTING SURVEYS, 2025, 57 (02)
  • [35] Practical Verification of Neural Network Enabled State Estimation System for Robotics
    Huang, Wei
    Zhou, Yifan
    Sun, Youcheng
    Sharp, James
    Maskell, Simon
    Huang, Xiaowei
    2020 IEEE/RSJ INTERNATIONAL CONFERENCE ON INTELLIGENT ROBOTS AND SYSTEMS (IROS), 2020, : 7336 - 7343
  • [36] Comparing classification models—a practical tutorial
    W. Patrick Walters
    Journal of Computer-Aided Molecular Design, 2022, 36 : 381 - 389
  • [37] Tutorial on practical prediction theory for classification
    Langford, J
    JOURNAL OF MACHINE LEARNING RESEARCH, 2005, 6 : 273 - 306
  • [38] A Practical Tutorial on Graph Neural Networks
    Ward, Isaac Ronald
    Joyner, Jack
    Lickfold, Casey
    Guo, Yulan
    Bennamoun, Mohammed
    ACM COMPUTING SURVEYS, 2022, 54 (10S)
  • [39] Network Management Tutorial
    Chwastek, R
    IEEE COMMUNICATIONS MAGAZINE, 2000, 38 (03) : 22 - +
  • [40] EXPERT SYSTEM VERIFICATION AND VALIDATION - A SURVEY AND TUTORIAL
    OKEEFE, RM
    OLEARY, DE
    ARTIFICIAL INTELLIGENCE REVIEW, 1993, 7 (01) : 3 - 42
12345