Tools and Algorithms for the Construction and Analysis of Systems
From MaRDI portal
Publication:5899050
DOI10.1007/11691372zbMath1180.68126OpenAlexW2739785336MaRDI QIDQ5899050
E. Allen Emerson, Prateek Gupta, Jyotirmoy V. Deshmukh
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
Specification and verification (program logics, model checking, etc.) (68Q60) Data structures (68P05)
Related Items
Counterexample Validation and Interpolation-Based Refinement for Forest Automata ⋮ Forest automata for verification of heap manipulation ⋮ Programs with lists are counter automata ⋮ Meanings of Model Checking
