Complexity of probabilistic verification

被引：0
|
作者：
机构：
来源：
| 1600年 / ACM, New York, NY, USA卷 / 42期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [21] Probabilistic Verification of BGP Convergence
    Haeri, Soroush
    Kresic, Dario
    Trajkovic, Ljiljana
    2011 19TH IEEE INTERNATIONAL CONFERENCE ON NETWORK PROTOCOLS (ICNP), 2011,
  • [22] Bloom filters in probabilistic verification
    Dillinger, PC
    Manolios, P
    FORMAL METHODS IN COMPUTER-AIDED DESIGN, 2004, 3312 : 367 - 381
  • [23] Scalable Verification of Probabilistic Networks
    Smolka, Steffen
    Kumar, Praveen
    Kahn, David M.
    Foster, Nate
    Hsu, Justin
    Kozen, Dexter
    Silva, Alexandra
    PROCEEDINGS OF THE 40TH ACM SIGPLAN CONFERENCE ON PROGRAMMING LANGUAGE DESIGN AND IMPLEMENTATION (PLDI '19), 2019, : 190 - 203
  • [24] COMPOSITIONAL VERIFICATION OF PROBABILISTIC PROCESSES
    LARSEN, KG
    SKOU, A
    LECTURE NOTES IN COMPUTER SCIENCE, 1992, 630 : 456 - 471
  • [25] PROBABILISTIC VERIFICATION OF COMMUNICATION PROTOCOLS
    MAXEMCHUK, NF
    SABNANI, K
    DISTRIBUTED COMPUTING, 1989, 3 (03) : 118 - 129
  • [26] Probabilistic verification of proofs in calculuses
    Dantsin E.Y.
    Journal of Mathematical Sciences, 2000, 98 (4) : 479 - 489
  • [27] Parameterized verification by probabilistic abstraction
    Arons, T
    Pnueli, A
    Zuck, L
    FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES, PROCEEDINGS, 2003, 2620 : 87 - 102
  • [28] On automated verification of probabilistic programs
    Legay, Axel
    Murawski, Andrzej S.
    Ouaknine, Joel
    Worrell, James
    TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, 2008, 4963 : 173 - +
  • [29] Program Verification as Probabilistic Inference
    Gulwani, Sumit
    Jojic, Nebojsa
    CONFERENCE RECORD OF POPL 2007: THE 34TH ACM SIGPLAN SIGACT SYMPOSIUM ON PRINCIPLES OF PROGAMMING LANGUAGES, 2007, : 277 - 289
  • [30] Probabilistic Verification in Mechanism Design
    Ball, Ian
    Kattwinkel, Deniz
    ACM EC '19: PROCEEDINGS OF THE 2019 ACM CONFERENCE ON ECONOMICS AND COMPUTATION, 2019, : 389 - 390
12345