Advertisement

Model Checking Software

14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007. Proceedings

  • Editors
  • Dragan Bošnački
  • Stefan Edelkamp
Conference proceedings SPIN 2007

Part of the Lecture Notes in Computer Science book series (LNCS, volume 4595)

Table of contents

  1. Front Matter
  2. Luboš Brim, Jiří Barnat
    Pages 2-3
  3. Harald Fecher, Sharon Shoham
    Pages 4-23
  4. Paul Gastin, Pierre Moro
    Pages 24-38
  5. Neha Rungta, Eric G. Mercer
    Pages 39-57
  6. Yu Yang, Xiaofang Chen, Ganesh Gopalakrishnan, Robert M. Kirby
    Pages 58-75
  7. Sami Evangelista, Christophe Pajault
    Pages 76-94
  8. Guy Gueta, Cormac Flanagan, Eran Yahav, Mooly Sagiv
    Pages 95-112
  9. Joel P. Self, Eric G. Mercer
    Pages 113-130
  10. Gérard Basler, Daniel Kroening, Georg Weissenbacher
    Pages 131-148
  11. Kristin Y. Rozier, Moshe Y. Vardi
    Pages 149-167
  12. Jiří Barnat, Luboš Brim, Petr Ročkai
    Pages 187-203
  13. Claus Traulsen, Jérôme Cornet, Matthieu Moy, Florence Maraninchi
    Pages 204-222
  14. Alberto Lluch Lafuente
    Pages 223-242
  15. Pedro de la Cámara, María del Mar Gallardo, Pedro Merino
    Pages 243-262
  16. Radek Pelánek
    Pages 263-267
  17. María del Mar Gallardo, Christophe Joubert, Pedro Merino, David Sanán
    Pages 268-273
  18. Mohamed Nassim Seghir, Andreas Podelski
    Pages 274-278
  19. Swarat Chaudhuri, Rajeev Alur
    Pages 279-283
  20. Back Matter

About these proceedings

Keywords

SPIN Scala Variable distributed porcesses explicit model checking formal methods formal specification formal verification markovian systems model checking modeling mu calculus semantics structured analysis verification

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-540-73370-6
  • Copyright Information Springer-Verlag Berlin Heidelberg 2007
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-73369-0
  • Online ISBN 978-3-540-73370-6
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site