@article{1449018,
      note = {Includes author index.},
      author = {Legunsen, Owolabi. and Roşu, Grigore.},
      url = {http://library.usi.edu/record/1449018},
      title = {Model checking software : 28th International Symposium,  SPIN 2022, virtual event, May 21, 2022, Proceedings /.  International SPIN Workshop},
      publisher = {Springer,},
      abstract = {This book constitutes the refereed proceedings of the 28th  International Symposium on Model Checking Software, SPIN  2022, held virtually in May 2022. The 8 full papers were  carefully reviewed and selected from 11 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.},
      doi = {https://doi.org/10.1007/978-3-031-15077-7},
      recid = {1449018},
      pages = {1 online resource (161 pages)},
      address = {Cham :},
      year = {2022},
}