Login / Signup

Reusing constraint proofs for scalable program analysis.

Meixian Chen
Published in: ISSTA (2014)
Keyphrases
  • theorem prover
  • theorem proving
  • databases
  • linear constraints
  • formal proof
  • formal proofs