ATVA: Automated Technology for Verification and Analysis

Published by: Springer  

Groups

  1. Chatterjee Group (4)
  2. Henzinger Group (4)
  3. IST Fellow (2)
  4. PhD Students (1)

Results (6)

  • 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