共 50 条
- [1] Verified Squared: Does Critical Software Deserve Verified Tools? [J]. POPL 11: PROCEEDINGS OF THE 38TH ANNUAL ACM SIGPLAN-SIGACT SYMPOSIUM ON PRINCIPLES OF PROGRAMMING LANGUAGES, 2011, : 1 - 2
- [2] Verified software: Theories, tools and experiments [J]. Int. J. Softw. Tools Technol. Trans., 6 (405-408): : 405 - 408
- [6] Verified Software Units [J]. PROGRAMMING LANGUAGES AND SYSTEMS, ESOP 2021, 2021, 12648 : 118 - 147
- [8] Verified software: Theories, tools, experiments vision of a grand challenge project [J]. VERIFIED SOFTWARE: THEORIES, TOOLS, EXPERIMENTS, 2008, 4171 : 1 - 18
- [9] Verified software grand challenge [J]. FM 2006: FORMAL METHODS, PROCEEDINGS, 2006, 4085 : 617 - 617