×

zbMATH — the first resource for mathematics

Model checking software. 13th international SPIN workshop, Vienna, Austria, March 30 – April 1, 2006. Proceedings. (English) Zbl 1103.68011
Lecture Notes in Computer Science 3925. Berlin: Springer (ISBN 3-540-33102-6/pbk). x, 307 p. (2006).

Show indexed articles as search result.

The articles of this volume will be reviewed individually. The preceding workshop has been reviewed (see Zbl 1086.68005).
Indexed articles:
Edelkamp, Stefan; Jabbar, Shahid, Large-scale directed model checking LTL, 1-18 [Zbl 1178.68339]
Dräger, Klaus; Finkbeiner, Bernd; Podelski, Andreas, Directed model checking with distance-preserving abstractions, 19-34 [Zbl 1178.68338]
Kupferschmid, Sebastian; Hoffmann, Jörg; Dierks, Henning; Behrmann, Gerd, Adapting an AI planning heuristic for directed model checking, 35-52 [Zbl 1178.68347]
Geldenhuys, Jaco; Hansen, Henri, Larger automata and less work for LTL model checking, 53-70 [Zbl 1178.68343]
Fecher, Harald; Leucker, Martin; Wolf, Verena, Don’t know in probabilistic systems, 71-88 [Zbl 1178.68341]
Kuntz, Matthias; Siegle, Markus, Symbolic model checking of stochastic systems: Theory and implementation, 89-107 [Zbl 1178.68346]
Melatti, Igor; Palmer, Robert; Sawaya, Geoffrey; Yang, Yu; Kirby, Robert Mike; Gopalakrishnan, Ganesh, Parallel and distributed model checking in Eddy, 108-125 [Zbl 1178.68349]
Joubert, Christophe; Mateescu, Radu, Distributed on-the-fly model checking and test case generation, 126-145 [Zbl 1178.68345]
Armando, Alessandro; Mantovani, Jacopo; Platania, Lorenzo, Bounded model checking of software using SMT solvers instead of SAT solvers, 146-162 [Zbl 1178.68148]
Anand, Saswat; Păsăreanu, Corina S.; Visser, Willem, Symbolic execution with abstract subsumption checking, 163-181 [Zbl 1178.68147]
de la Cámara, Pedro; del Mar Gallardo, María; Merino, Pedro, Abstract matching for software model checking, 182-200 [Zbl 1178.68157]
Gallasch, Guy Edward; Billington, Jonathan, A parametric state space for the analysis of the infinite class of stop-and-wait protocols, 201-218 [Zbl 1178.68342]
Bhattacharya, Ritwik; German, Steven M.; Gopalakrishnan, Ganesh, Exploiting symmetry and transactions for partial order reduction of rule based specifications, 252-270 [Zbl 1178.68335]
Bošnački, Dragan; Leue, Stefan; Lluch Lafuente, Alberto, Partial-order reduction for general state exploring algorithms, 271-287 [Zbl 1178.68336]

MSC:
68-06 Proceedings, conferences, collections, etc. pertaining to computer science
68Q60 Specification and verification (program logics, model checking, etc.)
00B25 Proceedings of conferences of miscellaneous specific interest
PDF BibTeX XML Cite
Full Text: DOI