Verification of Heap Manipulating Programs with Ordered Data by Extended Forest Automata

DOI10.1007/978-3-319-02444-8_17zbMath1344.68135OpenAlexW1592587615MaRDI QIDQ5166690

Lukáš Holík, Ondřej Lengál, Cong Quy Trinh, Tomáš Vojnar, Bengt Jonsson, Parosh Aziz Abdulla

Publication date: 8 July 2014

Published in: Automated Technology for Verification and Analysis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-02444-8_17

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Data structures (68P05)

Related Items

Verification of heap manipulating programs with ordered data by extended forest automata, Specifying graph languages with type graphs