Q1398129
type: Item
instance of: scholarly article
title: Tools and algorithms for the construction and analysis of systems. 9th international conference TACAS 2003, held as part of the joint European conferences on theory and practice of software, ETAPS 2003, Warsaw, Poland, April 7--11, 2003. Proceedings
zbMATH Open document ID: 1017.00035
published in: Lecture Notes in Computer Science
publication date: 2003-07-29T00:00:00Z
full work available at URL: t2619.htm
review text: The articles of this volume will be reviewed individually. The preceding conference has been reviewed (see Zbl 0988.00082). Indexed articles: \textit{Lee, Peter}, What are we trying to prove? Reflections on experiences with proof-carrying code, 1 [Zbl 1031.68793] \textit{McMillan, Kenneth L.; Amla, Nina}, Automatic abstraction without counterexamples, 2-17 [Zbl 1031.68520] \textit{Benedetti, Marco; Cimatti, Alessandro}, Bounded model checking for past LTL, 18-33 [Zbl 1031.68077] \textit{Amla, Nina; Kurshan, Robert; McMillan, Kenneth L.; Medel, Ricardo}, Experimental analysis of different techniques for bounded model checking, 34-48 [Zbl 1031.68541] \textit{Henzinger, Thomas A.; Kupferman, Orna; Majumdar, Rupak}, On the universal and existential fragments of the \(\mu\)-calculus, 49-64 [Zbl 1031.68080] \textit{Armoni, Roy; Bustan, Doron; Kupferman, Orna; Vardi, Moshe Y.}, Resets vs. aborts in linear temporal logic, 65-80 [Zbl 1031.68075] \textit{Mateescu, Radu}, A generic on-the-fly solver for alternation-free Boolean equation systems, 81-96 [Zbl 1031.68583] \textit{Fontaine, Pascal; Gribomont, E. Pascal}, Decidability of invariant validation for paramaterized systems, 97-112 [Zbl 1031.68049] \textit{Chkliaev, Dmitri; Hooman, Jozef; de Vink, Erik}, Verification and improvement of the sliding window protocol, 113-127 [Zbl 1031.68503] \textit{Esparza, Javier; Maidl, Monika}, Simple representative instantiations for multicast protocols, 128-143 [Zbl 1031.68504] \textit{Emerson, E. Allen; Kahlon, Vineet}, Rapid parameterized model checking of snoopy cache coherence protocols, 144-159 [Zbl 1031.68548] \textit{Gurfinkel, Arie; Chechik, Marsha}, Proof-like counter-examples, 160-175 [Zbl 1031.68079] \textit{Glusman, Marcelo; Kamhi, Gila; Mador-Haim, Sela; Fraer, Ranan; Vardi, Moshe Y.}, Multiple-counterexample guided iterative abstraction refinement: An industrial evaluation, 176-191 [Zbl 1031.68549] \textit{Clarke, Edmund; Fehnker, Ansgar; Han, Zhi; Krogh, Bruce; Stursberg,…
Mathematics Subject Classification ID: 00B25
Mathematics Subject Classification ID: 68-06
Mathematics Subject Classification ID: 68Mxx
zbMATH DE Number: 1955936
zbMATH Keywords: Construction of systems
zbMATH Keywords: Analysis of systems
zbMATH Keywords: TACAS 2003
zbMATH Keywords: ETAPS 2003
zbMATH Keywords: Warsaw (Poland)
MaRDI profile type: Publication
DOI: 10.1007/978-3-030-45190-5
OpenAlex ID: W3124330872
label: Tools and algorithms for the construction and analysis of systems. 9th international conference TACAS 2003, held as part of the joint European conferences on theory and practice of software, ETAPS 2003, Warsaw, Poland, April 7--11, 2003. Proceedings
description: scientific article; zbMATH DE number 1955936