PEP is a modelling and verification framework for parallel systems, providing a large number of different modelling languages and verification techniques (e.g. SDL, Petri nets and model checking)
30 Day SummaryJun 24 2016 — Jul 24 2016
|
12 Month SummaryJul 24 2015 — Jul 24 2016
|