- Referenced in 7 articles
- 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...
- Referenced in 273 articles
- KRONOS is a tool developed with the aim...
- Referenced in 629 articles
- PVS is a verification system: that is, a...