Results 1 to 3 of 3
Sort by:

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