Automata-based verification of programs with tree updates
type: Item
instance of: scholarly article
title: Automata-based verification of programs with tree updates
zbMATH Open document ID: 1185.68414
author: Peter Habermehl
author: Radu Iosif
author: Tomáš Vojnar
published in: Acta Informatica
publication date: 2010-02-05T00:00:00Z
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 68Q45
zbMATH DE Number: 5666993
describes a project that uses: JML
describes a project that uses: TASC
describes a project that uses: TestEra
describes a project that uses: HIP
describes a project that uses: Spec#
MaRDI profile type: Publication
full work available at URL: s00236-009-0108-5
OpenAlex ID: W1604924060
cites work: Visibly pushdown languages
cites work: Abstract Regular Tree Model Checking of Complex Dynamic Data Structures
cites work: Context logic as modal logic
cites work: Tree automata with one memory set constraints and cryptographic protocols
cites work: Tree Automata with Memory, Visibility and Structural Constraints
cites work: Q3619797
cites work: Q3197318
cites work: Verifying Balanced Trees
cites work: Automated Verification of Shape and Size Properties Via Separation Logic
cites work: Decidability of Second-Order Theories and Automata on Infinite Trees
cites work: Static Analysis
cites work: Automata, Languages and Programming
DOI: 10.1007/S00236-009-0108-5
Recommended article: Tools and Algorithms for the Construction and Analysis of Systems
Recommended article: Automata-Based Abstraction for Automated Verification of Higher-Order Tree-Processing Programs
Recommended article: Verifying higher-order functions with tree automata
Recommended article: Certifying a Tree Automata Completion Checker
Recommended article: Tree Automata-Based Refinement with Application to Horn Clause Verification
Recommended article: Verification of tree-processing programs via higher-order mode checking
Recommended article: Q4452049
Recommended article: Verification of concurrent programs: The automata-theoretic framework
description: scientific article; zbMATH DE number 5666993