• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

A Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic.

Martin BrombergerIrina DragosteRasha FaqehChristof FetzerMarkus KrötzschChristoph Weidenbach
Published in: FroCoS (2021)
Keyphrases
  • simple linear
  • deductive databases
  • hyperplane
  • query answering
  • multi class
  • expressive power
  • query language
  • data sets
  • machine learning
  • model checking
  • active learning
  • face verification