Verification, model; checking, and abstract interpretation. 3rd international workshop, VMCAI 2002, Venice, Italy, January 21--22, 2002. Revised papers
type: Item
instance of: scholarly article
title: Verification, model; checking, and abstract interpretation. 3rd international workshop, VMCAI 2002, Venice, Italy, January 21--22, 2002. Revised papers
zbMATH Open document ID: 0989.00056
DOI: 10.1007/3-540-47813-2
published in: Lecture Notes in Computer Science
publication date: 2002-07-02T00:00:00Z
review text: The articles of this volume will be reviewed individually. Indexed articles: \textit{Focardi, Riccardo; Piazza, Carla; Rossi, Sabina}, Proofs methods for bisimulation based information flow security, 16-31 [Zbl 1057.68065] \textit{Barthe, Gilles; Dufay, Guillaume; Jakubiec, Line; Melo de Sousa, Simão}, A formal correspondence between offensive and defensive JavaCard virtual machines, 32-45 [Zbl 1057.68571] \textit{Shyamasundar, R. K.}, Analyzing cryptographic protocols in a reactive framework, 46-64 [Zbl 1057.68615] \textit{Tan, Li}, An abstract schema for equivalence-checking games, 65-78 [Zbl 1057.68072] \textit{Sidorova, Natalia; Steffen, Martin}, Synchronous closing of timed SDL systems for model checking, 79-93 [Zbl 1057.68634] \textit{Faella, Marco; La Torre, Salvatore; Murano, Aniello}, Automata-theoretic decision of timed games, 94-108 [Zbl 1057.68057] \textit{Charatonik, Witold; Mukhopadhyay, Supratik; Podelski, Andreas}, Compositional termination analysis of symbolic forward analysis, 109-125 [Zbl 1057.68622] \textit{Genaim, Samir; Codish, Michael; Gallagher, John; Lagoon, Vitaly}, Combining norms to prove termination, 126-138 [Zbl 1057.68585] \textit{Murawski, Andrzej S.; Yi, Kwangkeun}, Static monotonicity analysis for \(\lambda\)-definable functions over lattices, 139-153 [Zbl 1057.68577] \textit{Hill, Patricia M.; Spoto, Fausto}, A refinement of the escape property, 154-166 [Zbl 1057.68586] \textit{Tronçon, Remko; Bruynooghe, Maurice; Janssens, Gerda; Catthoor, Francky}, Storage size reduction by in-place mapping of arrays, 167-181 [Zbl 1057.68597] \textit{Krstic, Sava; Matthews, John}, Verifying BDD algorithms through monadic interpretation, 182-195 [Zbl 1057.68629] \textit{Cimatti, Alessandro; Pistore, Marco; Roveri, Marco; Sebastiani, Roberto}, Improving the encoding of LTL model checking into SAT, 196-207 [Zbl 1057.68056] \textit{Zuck, Lenore; Pnueli, Amir; Kesten, Yonit}, Automatic verification of probabilistic free choice, 208-224 [Zbl 1057.68644…
Mathematics Subject Classification ID: 00B25
Mathematics Subject Classification ID: 68-06
Mathematics Subject Classification ID: 68Q60
zbMATH DE Number: 1762472
zbMATH Keywords: Venice (Italy)
zbMATH Keywords: Papers
zbMATH Keywords: Workshop
zbMATH Keywords: Verification
zbMATH Keywords: Model checking
zbMATH Keywords: Abstract interpretation
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.1007/3-540-47813-2
OpenAlex ID: W4376583509
Recommended article: Verification, model checking, and abstract interpretation. 5th international conference, VMCAI 2004, Venice, Italy, January 11--13, 2004. 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: 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. 13th international conference, VMCAI 2012, Philadelphia, PA, USA, January 22--24, 2012. 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. 23rd international conference, VMCAI 2022, Philadelphia, PA, USA, January 16--18, 2022. 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. 12th international conference, VMCAI 2011, Austin, TX, USA, January 23--25, 2011. 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. 21st international conference, VMCAI 2020, New Orleans, LA, USA, January 16--21, 2020. Proceedings
description: scientific article; zbMATH DE number 1762472