Esparza, Javier; Kreiker, Jörg Three case studies on verification of infinite-state systems. (English) Zbl 1256.68117 D’Souza, Deepak (ed.) et al., Modern applications of automata theory. Dedicated to the memory of Professor Priti Shankar. Foreword by Reinhard Wilhelm. Hackensack, NJ: World Scientific; Bangalore: IISc Press (ISBN 978-981-4271-04-2/hbk; 978-981-4271-05-9/ebook). IISc Research Monographs Series 2, 373-414 (2012). MSC: 68Q60 Specification and verification (program logics, model checking, etc.) 68Q45 Formal languages and automata Keywords:verification of infinite-state systems; symbolic search; mutex protocol; cache-coherence protocol; skyline plotter PDF BibTeX XML Cite \textit{J. Esparza} and \textit{J. Kreiker}, IISc Res. Monogr. Ser. 2, 373--414 (2012; Zbl 1256.68117) Full Text: DOI