Results 1 to 3 of 3
Sort by:

  • Specware
  • Referenced in 25 articles [sw11715]
  • Specware is a software engineering tool that automatically generates high-assurance software. Specware ... core of the design process in Specware lies stepwise refinement, in which users begin with...

  • SNARK
  • Referenced in 4 articles [sw19611]
  • also been connected to Kestrel’s SPECWARE environment for software development...

  • DTRE
  • Referenced in 3 articles [sw22672]
  • DTRE -- a semi-automatic transformation system. This paper...