RuleBasePE

MaRDI QIDQ16606swMATHFDO

Official website https://www.research.ibm.com/haifa/projects/verification/RB_Homepage/

Cited in

(4)

• Rhapsody
• A semantic condition for data independence and applications in hardware verification
• Functional verification of power gated designs by compositional reasoning
• Applying software model checking techniques for behavioral UML models

This page was built for software: RuleBasePE