Login / Signup

Bounded Model Checking of Software Using SMT Solvers Instead of SAT Solvers.

Alessandro ArmandoJacopo MantovaniLorenzo Platania
Published in: SPIN (2006)
Keyphrases