History-register automata

DOI10.1007/978-3-642-37075-5_2zbMATH Open1260.68118OpenAlexW1803498194MaRDI QIDQ4910409FDOQ4910409

Authors: Nikos Tzevelekos, Radu Grigore 

Publication date: 18 March 2013

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-37075-5_2

Recommendations

• History-register automata
• Verification of dynamic register automata
• $$\textsc {Reach}$$ on Register Automata via History Independence
• R-Automata
• scientific article; zbMATH DE number 7361373

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Cited In (6)

• Regular and context-free nominal traces
• Weak and nested class memory automata
• Verification of dynamic register automata
• History-register automata
• Well structured transition systems with history
• Complexity hierarchies beyond elementary

This page was built for publication: History-register automata

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4910409)