Login / Signup

SMACK+Corral: A Modular Verifier - (Competition Contribution).

Arvind HaranMontgomery CarterMichael EmmiAkash LalShaz QadeerZvonimir Rakamaric
Published in: TACAS (2015)
Keyphrases
  • databases
  • multiscale
  • pattern recognition
  • relational databases
  • distributed systems