SemEng is now expanding their market to Australia, Europe, and the US. Depintel is an exclusive partner and is responsible for the sales of PAT licences in these areas.
N-PAT implements a novel concept of nested model checking where a model may contain placeholders to be instantiated by the verification results of sub-models.
Download and documentation.
Conference Paper. Preprint. BibTex.