GenMul

swMATH37910MaRDI QIDQ53611FDOQ53611

Author name not available (Why is that?)

Official website: http://www.informatik.uni-bremen.de/agra/sca-verification/genmul.html

Described by source

• GenMul: Generating Architecturally Complex Multipliers to Challenge Formal Verification Tools

Cited In (14)

• Nusschecker
• Automated and scalable verification of integer multipliers
• BoSy
• Recent Findings in Boolean Techniques
• StringFuzz
• WALA
• Jimple
• FlowDroid
• petBoss
• PolyCleaner
• RevSCA
• multgen
• AMulet
• Pacheck

This page was built for software: GenMul