Document - Integrated Formal Methods - Proceedings of the 17th International Conference on Integrated Formal Methods (IFM'22)

2022

Contribution to conference Open Access

Integrated Formal Methods - Proceedings of the 17th International Conference on Integrated Formal Methods (IFM'22)

M. H. Ter Beek, R. Monahan

Architecture verification and validation Artificial intelligence Computer programming Computer systems Embedded systems Engineering Formal languages Formal logic Formal methods Graph theory Model checking Programming languages Signal processing Software architecture Software design Software engineering Software quality Theoretical computer science Verification and validation

This book constitutes the refereed proceedings of the 17th International Conference on Integrated Formal Methods, IFM 2022, held in Lugano, Switzerland, in June 2022. The 14 full papers and 2 short papers were carefully reviewed and selected from 46 submissions. The papers are categorized into the following topical sub-headings: Invited Papers; Cooperative and Relational Verification; B Method; Time; Probability; learning and Synthesis; Security; Stats Analysis and Testing; PhD Symposium Presentations.

Metrics

Back to previous page

Cite as

BibTeX entry

@inproceedings{oai:it.cnr:prodotti:467959,
	title = {Integrated Formal Methods - Proceedings of the 17th International Conference on Integrated Formal Methods (IFM'22)},
	author = {M. H.  Ter Beek and R.  Monahan},
	doi = {10.1007/978-3-031-07727-2},
	year = {2022}
}