Property-directed inference of universal invariants or proving their absence

Research output: Research - peer-reviewJournal article

DOI

  • Aleksandr Karbyshev
  • Nikolaj Bjørner
    Nikolaj BjørnerMicrosoft Research
  • Shachar Itzhaky
    Shachar ItzhakyMassachusetts Institute of Technology
  • Noam Rinetzky
    Noam RinetzkyTel Aviv University
  • Sharon Shoham
    Sharon ShohamTel Aviv University
Original languageEnglish
Article number7
JournalJournal of the ACM
Volume64
Issue number1
Pages (from-to)7:1-7:33
Number of pages33
ISSN0004-5411
DOIs
StatePublished - 29 Mar 2017

    Research areas

  • EPR, IC3, PDR, Property-directed reachability, Universal invariants

See relations at Aarhus University Citationformats

ID: 118502925