Login / Signup

Automatic C program verification based on mixed axiomatic semantics.

Ilya V. MaryasovValery A. NepomnyaschyAlexey V. PromskyDmitry A. Kondratyev
Published in: Autom. Control. Comput. Sci. (2014)
Keyphrases
  • semi automatic
  • fully automatic
  • data driven
  • semantic information
  • data mining
  • genetic algorithm
  • knowledge base
  • decision trees
  • domain knowledge
  • conceptual model
  • default reasoning
  • axiomatic characterization