pNets

This proposal focuses on the implementation and extension of the results presented in a recent paper on the verification of BIP design patterns with data.

Read more →