OStatic

A IC/MEMS layout editor. Features: all angle, font generator, macros, boolean operations, design rule checker, crossplatform compatible, supported for...

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

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