ATVA: Automated Technology for Verification and Analysis

Published by: Springer  

Groups

  1. Chatterjee Group (5)
  2. Henzinger Group (4)
  3. IST Fellow (2)
  4. PhD Students (2)
  5. Alumni (1)
  6. Graduate School (1)

Results (7)

  • What’s decidable about weighted automata
    Conference paper
  • Rabinizer 3: Safraless translation of ltl to small deterministic automata
    Conference paper
  • Extensional crisis and proving identity
    Conference paper
  • JTDec: A tool for tree decompositions in soot
    Conference paper