Login / Signup

Lazy-CSeq 2.0: Combining Lazy Sequentialization with Abstract Interpretation - (Competition Contribution).

Truc L. NguyenOmar InversoBernd FischerSalvatore La TorreGennaro Parlato
Published in: TACAS (2) (2017)
Keyphrases
  • abstract interpretation
  • databases
  • source code