共 50 条
- [2] Verified software grand challenge [J]. FM 2006: FORMAL METHODS, PROCEEDINGS, 2006, 4085 : 617 - 617
- [4] Verified Software:: The real grand challenge [J]. VERIFIED SOFTWARE: THEORIES, TOOLS, EXPERIMENTS, 2008, 4171 : 318 - 324
- [5] Verified software: Theories, tools, experiments vision of a grand challenge project [J]. VERIFIED SOFTWARE: THEORIES, TOOLS, EXPERIMENTS, 2008, 4171 : 1 - 18
- [6] A grand challenge proposal for formal methods: A verified stack [J]. FORMAL METHODS AT THE CROSSROADS: FROM PANACEA TO FOUNDATIONAL SUPPORT, 2003, 2757 : 161 - 172
- [8] The verified software challenge: A call for a holistic approach to reliability [J]. VERIFIED SOFTWARE: THEORIES, TOOLS, EXPERIMENTS, 2008, 4171 : 42 - 48
- [9] Solving the First Verified Software Competition Problems Using PVS [J]. FORMAL MODELING: ACTORS, OPEN SYSTEMS, BIOLOGICAL SYSTEMS: ESSAYS DEDICATED TO CAROLYN TALCOTT ON THE OCCASION OF HER 70TH BIRTHDAY, 2011, 7000 : 315 - 328
- [10] The 'grand challenge' in informatics: Engineering software-intensive systems [J]. 30th Annual IEEE/NASA Software Engineering Workshop, Proceedings, 2006, : 85 - 85