1. Toolbox for Opacity- This Java toolbox is a set of tools dedicated to the study of the opacity of systems. Various notions of opacity are planned to be integrated such as normal opacity, k-opacity, and infinite opacity.