Login / Signup

Improving Thread-Modular Abstract Interpretation.

Michael SchwarzSimmo SaanHelmut SeidlKalmer ApinisJulian ErhardVesal Vojdani
Published in: SAS (2021)
Keyphrases
  • abstract interpretation
  • termination analysis
  • static analysis
  • model checking
  • active databases
  • active rules
  • database
  • information systems
  • reasoning engine