Verification, model checking, and abstract interpretation. 5th international conference, VMCAI 2004, Venice, Italy, January 11--13, 2004. Proceedings (Q1422161)

The articles of this volume will be reviewed individually. The preceding conference has been reviewed (see Zbl 1014.00022). Indexed articles: \textit{Barthe, Gilles; Basu, Amitabh; Rezk, Tamara}, Security types preserving compilation. (Extended abstract), 2-15 [Zbl 1202.68085] \textit{Vanackère, Vincent}, History-dependent scheduling for cryptographic processes., 16-29 [Zbl 1202.68256] \textit{Tan, Gang; Appel, Andrew W.; Swadi, Kedar N.; Wu, Dinghao}, Construction of a semantic model for a typed assembly language., 30-43 [Zbl 1202.68089] \textit{Barringer, Howard; Goldberg, Allen; Havelund, Klaus; Sen, Koushik}, Rule-based runtime verification., 44-57 [Zbl 1202.68243] \textit{Kuncak, Viktor; Rinard, Martin}, Boolean algebra of shape analysis constraints., 59-72 [Zbl 1202.68250] \textit{Hérault, Thomas; Lassaigne, Richard; Magniette, Frédéric; Peyronnet, Sylvain}, Approximate probabilistic model checking., 73-84 [Zbl 1202.68249] \textit{Clarke, Edmund; Kroening, Daniel; Ouaknine, Joël; Strichman, Ofer}, Completeness and complexity of bounded model checking., 85-96 [Zbl 1202.68244] \textit{Lucanu, Dorel; Ciobanu, Gabriel}, Model checking for object specifications in hidden algebra., 97-109 [Zbl 1202.68253] \textit{Pace, Gordon J.; Schneider, Gerardo}, Model checking polygonal differential inclusions using invariance kernels., 110-121 [Zbl 1202.68254] \textit{Yu, Pei; Qiwen, Xu}, Checking interval based properties for reactive systems., 122-134 [Zbl 1202.68259] \textit{Bagnara, Roberto; Hill, Patricia M.; Zaffanella, Enea}, Widening operators for powerset domains., 135-148 [Zbl 1202.68242] \textit{Logozzo, Francesco}, Automatic inference of class invariants., 211-222 [Zbl 1202.68252] \textit{Fang, Yi; Piterman, Nir; Pnueli, Amir; Zuck, Lenore}, Liveness with invisible ranking., 223-238 [Zbl 1202.68248] \textit{Podelski, Andreas; Rybalchenko, Andrey}, A complete method for the synthesis of linear ranking functions., 239-251 [Zbl 1202.68109] \textit{Reps, Thomas; Sagiv, Mooly; Yorsh, Greta}, Symbolic implementation of the best transformer., 252-266 [Zbl 1202.68255] \textit{Lahiri, Shuvendu K.; Bryant, Randal E.}, Constructing quantified invariants via predicate abstraction., 267-281 [Zbl 1202.68251] \textit{Etessami, K.}, Analysis of recursive game graphs using data flow equations., 282-296 [Zbl 1202.68247]