OStatic

PEP is a modelling and verification framework for parallel systems, providing a large number of different modelling languages and verification techniq...

PanelCheck is a tool for visualization of sensory profiling data using different types of plots. To run source code you will need to install: Python 2...

OpenQ is a software web-oriented application for Quality Management System and organisation processes management fulfilling ISO 9001:2000 requirement...

Our aim is to develop a library for geometrical tolerance analysis, that is OS and CAD platform indenpendent. Toleraning is widely used in engineering...

Currently, all existing formal tools are designed to serve as formal verifiers, using one implementation or another. NO tool is providing a global fra...