Login / Signup

Goblint: Thread-Modular Abstract Interpretation Using Side-Effecting Constraints - (Competition Contribution).

Simmo SaanMichael SchwarzKalmer ApinisJulian ErhardHelmut SeidlRalf VoglerVesal Vojdani
Published in: TACAS (2) (2021)
Keyphrases
  • abstract interpretation
  • termination analysis
  • model checking
  • static analysis
  • reasoning engine