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.

 Posted by at 8:17 AM

Sorry, the comment form is closed at this time.