Tools and Algorithms for the Construction and Analysis of Systems
From MaRDI portal
Publication:5703767
DOI10.1007/b107194zbMath1087.68585MaRDI QIDQ5703767
Ahmed Bouajjani, Tomáš Vojnar, Pierre Moro, Peter Habermehl
Publication date: 10 November 2005
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b107194
68Q45: Formal languages and automata
68Q60: Specification and verification (program logics, model checking, etc.)
Related Items
On the almighty wand, Programs with lists are counter automata, Model checking dynamic memory allocation in operating systems, Computable fixpoints in well-structured symbolic model checking, Tree regular model checking: a simulation-based approach, Generalised multi-pattern-based verification of programs with linear linked structures, A logic of reachable patterns in linked data-structures, Counterexample Validation and Interpolation-Based Refinement for Forest Automata, Bottom-Up Shape Analysis, Monotonic Abstraction for Programs with Dynamic Memory Heaps, On the Almighty Wand
Uses Software