First steps in the verified software grand challenge

被引:0
|
作者
Woodcock, Jim [1 ]
机构
[1] Univ York, York YO10 5DD, N Yorkshire, England
关键词
D O I
暂无
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
引用
收藏
页码:203 / 203
页数:1
相关论文
共 50 条
  • [1] First steps in the Verified Software Grand Challenge
    Woodcock, Jim
    [J]. COMPUTER, 2006, 39 (10) : 57 - +
  • [2] Verified software grand challenge
    Woodcock, Jim
    [J]. FM 2006: FORMAL METHODS, PROCEEDINGS, 2006, 4085 : 617 - 617
  • [3] Verified software: A grand challenge
    Jones, C
    O'Hearn, P
    Woodcock, J
    [J]. COMPUTER, 2006, 39 (04) : 93 - 95
  • [4] Verified Software:: The real grand challenge
    Bharadwaj, Ramesh
    [J]. VERIFIED SOFTWARE: THEORIES, TOOLS, EXPERIMENTS, 2008, 4171 : 318 - 324
  • [5] Verified software: Theories, tools, experiments vision of a grand challenge project
    Hoare, Tony
    Misra, Jay
    [J]. VERIFIED SOFTWARE: THEORIES, TOOLS, EXPERIMENTS, 2008, 4171 : 1 - 18
  • [6] A grand challenge proposal for formal methods: A verified stack
    Moore, JS
    [J]. FORMAL METHODS AT THE CROSSROADS: FROM PANACEA TO FOUNDATIONAL SUPPORT, 2003, 2757 : 161 - 172
  • [7] Next Steps for the Grand Cooperative Driving Challenge
    Wang, Fei-Yue
    Broggi, Alberto
    White, Chelsea C.
    [J]. IEEE INTELLIGENT TRANSPORTATION SYSTEMS MAGAZINE, 2009, 1 (04) : 24 - +
  • [8] The verified software challenge: A call for a holistic approach to reliability
    Ball, Thomas
    [J]. VERIFIED SOFTWARE: THEORIES, TOOLS, EXPERIMENTS, 2008, 4171 : 42 - 48
  • [9] Solving the First Verified Software Competition Problems Using PVS
    Owre, Sam
    Shankar, Natarajan
    [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
    Broy, Manfred
    [J]. 30th Annual IEEE/NASA Software Engineering Workshop, Proceedings, 2006, : 85 - 85