• DisCo

  • Referenced in 7 articles [sw10393]
  • DisCo Toolset -- the new generation. Formal methods have been considered one possible solution ... paper, an overview of the new DisCo toolset is given. DisCo is a formal specification ... refinement mechanism that preserves safety properties. The toolset currently includes a compiler, a graphical animation ... this paper, the operation of the DisCo toolset is illustrated by applying...
  • Kronos

  • Referenced in 273 articles [sw01270]
  • KRONOS is a tool developed with the aim...
  • PVS

  • Referenced in 629 articles [sw03484]
  • PVS is a verification system: that is, a...