Tools and Algorithms for the Construction and Analysis of Systems
From MaRDI portal
Publication:5899050
DOI10.1007/11691372zbMATH Open1180.68126OpenAlexW2739785336MaRDI QIDQ5899050FDOQ5899050
Authors: Jyotirmoy V. Deshmukh, E. Allen Emerson, Prateek Gupta 
Publication date: 2 May 2007
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11691372
Recommendations
- Automatic verification of parameterized networks of processes
- scientific article; zbMATH DE number 1701752
- Symbolic Verification Method for Definite Iterations over Tuples of Altered Data Structures and Its Application to Pointer Programs
- Automated program verification
- scientific article; zbMATH DE number 1796136
Data structures (68P05) Specification and verification (program logics, model checking, etc.) (68Q60)
Cited In (9)
- Meanings of model checking
- Parameterized recursive refinement types for automated program verification
- Automated program verification
- Counterexample validation and interpolation-based refinement for forest automata
- Automated Verification of Concurrent Search Structures
- Programs with lists are counter automata
- Pattern-based verification of programs with extended linear linked data structures
- Forest automata for verification of heap manipulation
- Refinement-Based Verification for Possibly-Cyclic Lists
This page was built for publication: Tools and Algorithms for the Construction and Analysis of Systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5899050)
