共 50 条
- [43] Bloom filters in probabilistic verification FORMAL METHODS IN COMPUTER-AIDED DESIGN, PROCEEDINGS, 2004, 3312 : 367 - 381
- [44] Probabilistic Verification of Network Configurations SIGCOMM '20: PROCEEDINGS OF THE 2020 ANNUAL CONFERENCE OF THE ACM SPECIAL INTEREST GROUP ON DATA COMMUNICATION ON THE APPLICATIONS, TECHNOLOGIES, ARCHITECTURES, AND PROTOCOLS FOR COMPUTER COMMUNICATION, 2020, : 750 - 764
- [46] Accelerating Parametric Probabilistic Verification QUANTITATIVE EVALUATION OF SYSTEMS, QEST 2014, 2014, 8657 : 404 - 420
- [47] Probabilistic Verification of BGP Convergence 2011 19TH IEEE INTERNATIONAL CONFERENCE ON NETWORK PROTOCOLS (ICNP), 2011,
- [48] Bloom filters in probabilistic verification FORMAL METHODS IN COMPUTER-AIDED DESIGN, 2004, 3312 : 367 - 381
- [49] Scalable Verification of Probabilistic Networks PROCEEDINGS OF THE 40TH ACM SIGPLAN CONFERENCE ON PROGRAMMING LANGUAGE DESIGN AND IMPLEMENTATION (PLDI '19), 2019, : 190 - 203