RV-BIP: Runtime Verification of BIP systems

RV-BIP is a Runtime Verification tool for Component-based framework BIP. BIP is a component-based framework supporting rigorous design.

One may consult this page for more information on RV-BIP.