Login / Signup

Efficient Verification of Sequential and Concurrent C Programs.

Sagar ChakiEdmund M. ClarkeAlex GroceJoël OuaknineOfer StrichmanKaren Yorav
Published in: Formal Methods Syst. Des. (2004)
Keyphrases
  • databases
  • computationally efficient
  • computer vision
  • object oriented
  • cost effective
  • database
  • real time
  • evolutionary algorithm
  • lightweight
  • formal methods