Runtime Verification Based on Register Automata

Míreanna comhchosúla

• History−Register Automata
  de réir: Tzevelekos, N, et al.
  Foilsithe / Cruthaithe: (2013)
• History-Register Automata
  de réir: Radu Grigore, et al.
  Foilsithe / Cruthaithe: (2016-03-01)
• Reachability in pushdown register automata
  de réir: Murawski, A, et al.
  Foilsithe / Cruthaithe: (2017)
• DEQ: Equivalence checker for deterministic register automata
  de réir: Murawski, A, et al.
  Foilsithe / Cruthaithe: (2019)
• Polynomial-time equivalence testing for deterministic fresh-register automata
  de réir: Murawski, A, et al.
  Foilsithe / Cruthaithe: (2018)