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 (Q1294793)

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]