Login / Signup

Sound and Complete Certificates for Quantitative Termination Analysis of Probabilistic Programs.

Krishnendu ChatterjeeAmir Kafshdar GoharshadyTobias MeggendorferDorde Zikelic
Published in: CAV (1) (2022)
Keyphrases
  • termination analysis
  • abstract interpretation
  • active rules
  • active databases
  • access control
  • distributed systems