@article{1440884,
      note = {Includes author index.},
      author = {Huisman, Marieke. and Păsăreanu, Corina S. and Zhan,  Naijun.},
      url = {http://library.usi.edu/record/1440884},
      title = {Formal methods : 24th International Symposium, FM 2021,  Virtual event, November 20-26, 2021, Proceedings /.  International Symposium of Formal Methods Europe},
      publisher = {Springer,},
      abstract = {This book constitutes the refereed proceedings of the 24th  Symposium on Formal Methods, FM 2021, held virtually in  November 2021. The 43 full papers presented together with 4  invited presentations were carefully reviewed and selected  from 131 submissions. The papers are organized in topical  sections named: Invited Presentations. - Interactive  Theorem Proving, Neural Networks & Active Learning, Logics  & Theory, Program Verification I, Hybrid Systems, Program  Verification II, Automata, Analysis of Complex Systems,  Probabilities, Industry Track Invited Papers, Industry  Track, Divide et Impera: Efficient Synthesis of  Cyber-Physical System.},
      doi = {https://doi.org/10.1007/978-3-030-90870-6},
      recid = {1440884},
      pages = {1 online resource (801 pages)},
      address = {Cham, Switzerland :},
      year = {2021},
}