Property-directed inference of universal invariants or proving their absence

Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal articleResearchpeer-review

DOI

    Aleksandr Karbyshev, Nikolaj Bjørner, Microsoft Research, Shachar Itzhaky, Massachusetts Institute of Technology, Noam Rinetzky, Tel Aviv University, Sharon Shoham, Tel 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
Publication statusPublished - 29 Mar 2017

    Research areas

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

See relations at Aarhus University Citationformats

ID: 118502925