共 50 条
- [1] Verified software grand challenge [J]. FM 2006: FORMAL METHODS, PROCEEDINGS, 2006, 4085 : 617 - 617
- [3] Verified Software:: The real grand challenge [J]. VERIFIED SOFTWARE: THEORIES, TOOLS, EXPERIMENTS, 2008, 4171 : 318 - 324
- [5] First steps in the verified software grand challenge [J]. 30th Annual IEEE/NASA Software Engineering Workshop, Proceedings, 2006, : 203 - 203
- [6] Accessible Formal Methods for Verified Parser Development [J]. 2021 IEEE SYMPOSIUM ON SECURITY AND PRIVACY WORKSHOPS (SPW 2021), 2021, : 142 - 151
- [7] Verified software: Theories, tools, experiments vision of a grand challenge project [J]. VERIFIED SOFTWARE: THEORIES, TOOLS, EXPERIMENTS, 2008, 4171 : 1 - 18
- [8] Routing - A challenge to formal methods [J]. INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED PROCESSING TECHNIQUES AND APPLICATIONS, VOLS I-V, PROCEEDINGS, 1999, : 305 - 311
- [10] A Formally Verified NAT Stack [J]. ACM SIGCOMM COMPUTER COMMUNICATION REVIEW, 2018, 48 (05) : 77 - 83