Integrated Formal Methods: 16th International Conference, Ifm 2020, Lugano, Switzerland, November 16-20, 2020, Proceedings

Dongol, Brijesh, Troubitsyna, Elena

  • 出版商: Springer
  • 出版日期: 2021-01-17
  • 售價: $3,320
  • 貴賓價: 9.5$3,154
  • 語言: 英文
  • 頁數: 461
  • 裝訂: Quality Paper - also called trade paper
  • ISBN: 3030634604
  • ISBN-13: 9783030634605
  • 相關分類: GAN 生成對抗網絡

下單後立即進貨 (約1週~2週)



This book constitutes the refereed proceedings of the 16th International Conference on Integrated Formal Methods, IFM 2019, held in Lugano, Switzerland, in November 2020.

The 24 full papers and 2 short papers were carefully reviewed and selected from 63 submissions. The papers cover a broad spectrum of topics: Integrating Machine Learning and Formal Modelling; Modelling and Verification in B and Event-B; Program Analysis and Testing; Verification of Interactive Behaviour; Formal Verification; Static Analysis; Domain-Specific Approaches; and Algebraic Techniques.