@article{1438687,
      recid = {1438687},
      author = {Laarman, Alfons, and Sokolova, Ana,},
      title = {Model checking software : 27th International Symposium,  SPIN 2021 : virtual event, July 12, 2021 : proceedings /.  International SPIN Workshop},
      pages = {1 online resource :},
      note = {International conference proceedings.},
      abstract = {This book constitutes the refereed proceedings of the 27th  International Symposium on Model Checking Software, SPIN  2021, held virtually in July 2021. The 3 full papers, 4  tool papers, and 1 case study presented together with 2  invited talks were carefully reviewed and selected from 20  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.},
      url = {http://library.usi.edu/record/1438687},
      doi = {https://doi.org/10.1007/978-3-030-84629-9},
}