Sign in

Analysis and Transformation of Constrained Horn Clauses for Program Verification.

Emanuele De AngelisFabio FioravantiJohn P. GallagherManuel V. HermenegildoAlberto PettorossiMaurizio Proietti
Published in: Theory Pract. Log. Program. (2022)
Keyphrases
  • horn clauses
  • artificial intelligence
  • decision trees
  • image analysis
  • databases
  • statistical analysis
  • machine learning
  • data analysis
  • domain knowledge
  • text mining
  • general purpose
  • database queries