Sign in

VST-Floyd: A Separation Logic Tool to Verify Correctness of C Programs.

Qinxiang CaoLennart BeringerSamuel GruetterJosiah DoddsAndrew W. Appel
Published in: J. Autom. Reason. (2018)
Keyphrases
  • dynamic logic
  • knowledge base
  • provably correct
  • image processing
  • image data
  • logic programming
  • visual quality
  • modal logic
  • software tools
  • multi valued
  • predicate logic
  • verification method