Verification, model checking, and abstract interpretation. 5th international conference, VMCAI 2004, Venice, Italy, January 11--13, 2004. Proceedings
type: Item
instance of: scholarly article
title: Verification, model checking, and abstract interpretation. 5th international conference, VMCAI 2004, Venice, Italy, January 11--13, 2004. Proceedings
zbMATH Open document ID: 1031.68005
published in: Lecture Notes in Computer Science
publication date: 2004-02-05T00:00:00Z
full work available at URL: t2937.htm
review text: 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,…
Mathematics Subject Classification ID: 68-06
Mathematics Subject Classification ID: 00B25
Mathematics Subject Classification ID: 68Q60
zbMATH DE Number: 2038392
zbMATH Keywords: Verification
zbMATH Keywords: Model checking
zbMATH Keywords: Abstract interpretation
zbMATH Keywords: VMCAI 2004
zbMATH Keywords: Venice (Italy)
MaRDI profile type: Publication
OpenAlex ID: W4300117125
DOI: 10.1007/3-540-36384-X
Recommended article: Verification, model; checking, and abstract interpretation. 3rd international workshop, VMCAI 2002, Venice, Italy, January 21--22, 2002. Revised papers
Recommended article: Verification, model checking, and abstract interpretation. 14th international conference, VMCAI 2013, Rome, Italy, January 20--22, 2013. Proceedings
Recommended article: Verification, model checking, and abstract interpretation. 4th international conference, VMCAI 2003, New York, NY, USA, January 9--11, 2003. Proceedings
Recommended article: Verfication, model checking, and abstract interpretation. 6th international conference, VMCAI 2005, Paris, France, January 17--19, 2005. Proceedings.
Recommended article: Verification, model checking, and abstract interpretation. 15th international conference, VMCAI 2014, San Diego, CA, USA, January 19--21, 2014. Proceedings
Recommended article: Verification, model checking, and abstract interpretation. 13th international conference, VMCAI 2012, Philadelphia, PA, USA, January 22--24, 2012. Proceedings
Recommended article: Verification, model checking, and abstract interpretation. 8th international conference, VMCAI 2007, Nice, France, January 14--16, 2007. Proceedings
Recommended article: Verification, model checking, and abstract interpretation. 16th international conference, VMCAI 2015, Mumbai, India, January 12--14, 2015. Proceedings
Recommended article: Verification, model checking, and abstract interpretation. 7th international conference, VMCAI 2006, Charleston, SC, USA, January 8--10, 2006. Proceedings
Recommended article: Verification, model checking, and abstract interpretation. 12th international conference, VMCAI 2011, Austin, TX, USA, January 23--25, 2011. Proceedings
description: scientific article; zbMATH DE number 2038392