Login / Signup

An Abstract Interpretation Perspective on Linear vs. Branching Time.

Francesco RanzatoFrancesco Tapparo
Published in: APLAS (2005)
Keyphrases
  • abstract interpretation
  • model checking
  • termination analysis
  • temporal logic
  • static analysis
  • reasoning engine