RuleBasePE

swMATH4430MaRDI QIDQ16606FDOQ16606

Author name not available (Why is that?)

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

Cited In (4)

• A semantic condition for data independence and applications in hardware verification
• Rhapsody
• 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