Login / Signup

Efficient Verification of Imperative Programs Using Auto2.

Bohua Zhan
Published in: TACAS (1) (2018)
Keyphrases
  • imperative programs
  • database
  • cost effective
  • information retrieval
  • dynamic environments
  • computationally expensive
  • fixed point