DisCo

MaRDI QIDQ22354swMATHFDO

Official website http://jucs.org/jucs_7_1/disco_toolset_the_new/Aaltonen_T.pdf

Cited in

(9)

• DisCo Toolset -- the new generation
• Mechanizing invariant proofs of joint action systems
• On Horizontal Specification Architectures and Their Aspect-Oriented Implementations
• HOL-UNITY
• Ocsid
• A quality model for the Ada standard container library
• Experiences on developing and using a tool support for formal specification
• A structural embedding of Ocsid in PVS
• Formal Approaches to Software Testing

This page was built for software: DisCo