Invited Talk: Harnessing SMT Solvers for Verifying Low Level Programs.
Mooly SagivPublished in: SMT (2020)
Keyphrases
- invited talk
- low level
- intermediate level
- modulo theories
- high level
- knowledge discovery and data mining
- higher level
- selected papers
- statistical machine translation
- stable model semantics
- visual information
- collective intelligence
- declarative programming
- computer programs
- low level features
- answer sets
- accepted papers
- artificial intelligence
- language model
- australasian database conference
- constraint solver
- program committee
- information systems
- case based reasoning
- genetic algorithm
- answer set programming