Proceedings of the 1st international workshop on Symbolic model checking (SMC '99), as part of the 2nd federated logic conference (FLoC '99). Trento, Italy, July 6, 1999
type: Item
instance of: scholarly article
title: Proceedings of the 1st international workshop on Symbolic model checking (SMC '99), as part of the 2nd federated logic conference (FLoC '99). Trento, Italy, July 6, 1999
zbMATH Open document ID: 0920.00044
published in: Electronic Notes in Theoretical Computer Science
publication date: 1999-08-17T00:00:00Z
review text: The articles of this volume will be reviewed individually. Indexed articles: \textit{Ferier, Laurent; Raskin, Jean-Francois; Schobbens, Pierre-Yves}, Model-generation of a fictitious clock real-time logic using sharing trees, Eelectronic paper No. 10, [Zbl 0920.68077] \textit{Balarin, Felice}, Concurrent symbolic verification of liveness properties for interleaved models, Elecetronic paper No. 2 [Zbl 0920.68071] \textit{Fraer, Ranan; Kamhi, Gila; Fix, Limor; Vardi, Moshe}, Evaluating semi-exhaustive verification techniques for bug hunting, Electronic paper No. 3 [Zbl 0920.68074] \textit{Govindaraju, Shankar; Dill, David}, Approximate symbolic model checking using overlapping projections, Electronic paper No. 4 [Zbl 0920.68070] \textit{Biere, Armin; Clarke, Edmund; Zhu, Yunshan}, Combining local and global model checking, Electronic paper No. 5 [Zbl 0943.68112] \textit{Somenzi, Au}, Symbolic state exploration, Electronic paper No. 6 [Zbl 0920.68081] \textit{Renault, Sophie; Cerny, Eduard}, Improving termination of MDG-based abstract state enumeration via term schematization, Electronic paper No. 7 [Zbl 0920.68085] \textit{Campos, Sergio; Teixeira, Marcio; Minea, Marius; Kuehlmann, Andreas; Clarke, Edmund}, Model checking semi-continuous time model using BDDS, Electronic paper No. 8, [Zbl 0920.68076] \textit{Moeller, Jesper; Lichtenberg, Jakob; Andersen, Henrik; Hulgaard, Henrik}, Fully symbolic model checking of timed systems using difference decision diagrams, Electronic paper No. 9 [Zbl 0920.68083]
Mathematics Subject Classification ID: 00B25
Mathematics Subject Classification ID: 68-06
zbMATH DE Number: 1324609
zbMATH Keywords: Trento (Italy)
zbMATH Keywords: Proceedings
zbMATH Keywords: Workshop
zbMATH Keywords: SMC '99
zbMATH Keywords: Symbolic model checking
zbMATH Keywords: Federated logic conference
zbMATH Keywords: FloC '99
MaRDI profile type: Publication
Recommended article: Proceedings of the 3rd international workshop on bounded model checking (BMC 2005), Edinburgh, UK, July 11, 2005
Recommended article: Proceedings of the 2nd international workshop on bounded model checking (BMC 2004), Boston, MA, USA, July 18, 2004
Recommended article: BMC'2003. Proceedings of the first international workshop on bounded model checking, Boulder, CO, USA, July 13, 2003
Recommended article: Q3141897
Recommended article: Proceedings of the workshop on logic, models and computer science (LMCS 2006), Camerino, Italy, April 20--22, 2006
Recommended article: Proceedings of the fourth international workshop on bounded model checking (BMC 2006), Seattle, WA, USA, August 15, 2006
Recommended article: Q4440828
Recommended article: Verification, model; checking, and abstract interpretation. 3rd international workshop, VMCAI 2002, Venice, Italy, January 21--22, 2002. Revised papers
Recommended article: Model checking software. 9th international SPIN workshop, Grenoble, France, April 11--13, 2002. Proceedings
description: scientific article; zbMATH DE number 1324609