Model Checking Software

26th International Symposium, SPIN 2019, Beijing, China, July 15–16, 2019, Proceedings

  • Fabrizio Biondi
  • Thomas Given-Wilson
  • Axel Legay
Conference proceedings SPIN 2019

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

Also part of the Theoretical Computer Science and General Issues book sub series (LNTCS, volume 11636)

Table of contents

  1. Front Matter
    Pages i-x
  2. Søren Enevoldsen, Kim Guldstrand Larsen, Jiří Srba
    Pages 1-19
  3. Shiraj Arora, M. V. Panduranga Rao
    Pages 20-37
  4. Omar Bataineh, David S. Rosenblum, Mark Reynolds
    Pages 38-55
  5. Massimo Benerecetti, Ugo Gentile, Stefano Marrone, Roberto Nardone, Adriano Peron, Luigi L. L. Starace et al.
    Pages 56-73
  6. Agostino Cortesi, Henrich Lauko, Martina Olliaro, Petr Ročkai
    Pages 74-93
  7. Richard DeFrancisco, Shenghsun Cho, Michael Ferdman, Scott A. Smolka
    Pages 94-113
  8. Mohammed Foughali, Félix Ingrand, Cristina Seceleanu
    Pages 114-134
  9. Patrick Metzler, Neeraj Suri, Georg Weissenbacher
    Pages 153-171
  10. Shikhar Singh, Mengshi Zhang, Sarfraz Khurshid
    Pages 172-192
  11. Nhat-Hoa Tran, Toshiaki Aoki
    Pages 208-225
  12. Muhammad Usman, Wenxi Wang, Kaiyuan Wang, Cagdas Yelen, Nima Dini, Sarfraz Khurshid
    Pages 226-243
  13. Farnaz Yousefi, Ehsan Khamespanah, Mohammed Gharib, Marjan Sirjani, Ali Movaghar
    Pages 244-259
  14. Back Matter
    Pages 261-261

About these proceedings


This book constitutes the refereed proceedings of the 26th International Symposium on Model Checking Software, SPIN 2019, held in Beijing, China, in July 2019.

The 11 full papers presented and 2 demo-tool papers, were carefully reviewed and selected from 29 submissions. Topics covered include formal verification techniques for automated analysis of software; formal analysis for modeling languages, such as UML/state charts; formal specification languages, temporal logic, design-by-contract; model checking, automated theorem proving, including SAT and SMT; verifying compilers; abstraction and symbolic execution techniques; and much more. 


artificial intelligence computer architecture formal methods model checking software engineering software evaluation specifications verification

Editors and affiliations

  • Fabrizio Biondi
    • 1
  • Thomas Given-Wilson
    • 2
  • Axel Legay
    • 3
  1. 1.Avast SoftwarePragueCzech Republic
  2. 2.Université Catholique de LouvainLouvain-la-NeuveBelgium
  3. 3.Université Catholique de LouvainLouvain-la-NeuveBelgium

Bibliographic information

Industry Sectors
Chemical Manufacturing
Finance, Business & Banking
IT & Software
Consumer Packaged Goods
Energy, Utilities & Environment