GenMul

MaRDI QIDQ53611swMATHFDO

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)

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

This page was built for software: GenMul