Programs with lists are counter automata
type: Item
instance of: scholarly article
title: Programs with lists are counter automata
zbMATH Open document ID: 1217.68059
author: Ahmed Bouajjani
author: Marius Bozga
author: Peter Habermehl
author: Radu Iosif
author: Pierre Moro
author: Tomáš Vojnar
published in: Formal Methods in System Design
publication date: 2011-05-23T00:00:00Z
Mathematics Subject Classification ID: 68N30
Mathematics Subject Classification ID: 68Q45
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 68Q85
zbMATH DE Number: 5898959
zbMATH Keywords: formal verification
zbMATH Keywords: programs with singly-linked lists
zbMATH Keywords: safety and termination
zbMATH Keywords: counter automata
zbMATH Keywords: bisimulation
zbMATH Keywords: lists with ordered data
describes a project that uses: TREX
describes a project that uses: FAST
MaRDI profile type: Publication
full work available at URL: s10703-011-0111-7
OpenAlex ID: W1981273171
cites work: Monotonic Abstraction for Programs with Dynamic Memory Heaps
cites work: Q4551165
cites work: Verification, Model Checking, and Abstract Interpretation
cites work: Shape Analysis for Composite Data Structures
cites work: Variance analyses from invariance analyses
cites work: Programs with Lists Are Counter Automata
cites work: Tools and Algorithms for the Construction and Analysis of Systems
cites work: Abstract Regular Tree Model Checking of Complex Dynamic Data Structures
cites work: Foundations of Software Science and Computational Structures
cites work: On Flat Programs with Lists
cites work: CONCUR 2005 – Concurrency Theory
cites work: Static Analysis
cites work: Automatic Termination Proofs for Programs with Shape-Shifting Heaps
cites work: Proving Termination of Tree Manipulating Programs
cites work: Programming Languages and Systems
cites work: Automated Verification of the Deutsch-Schorr-Waite Tree-Traversal Algorithm
cites work: Q4417895
cites work: Scalable Shape Analysis for Systems Code
cites work: Q4411951
DOI: 10.1007/S10703-011-0111-7
description: scientific article; zbMATH DE number 5898959