• 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...