This volume contains the proceedings of the 1st International Workshop on Applicable Formal Methods (AppFM 2021), 23 November 2021, held online as part of the 24th International Symposium on Formal Methods (FM). The aim of the AppFM workshop is to bring together researchers who improve and evaluate existing formal approaches and new variants in practical contexts and support the transfer of these approaches to software engineering practice.
翻译：本卷载有2021年11月23日在网上举行的第一次适用正式方法国际讲习班(AppFM 2021)的会议记录,该讲习班是第二十四届正式方法国际专题讨论会的一部分,目的是汇集研究人员,在实际情况下改进和评估现有的正式方法和新的变体,并支持将这些方法转用于软件工程实践。
相关内容
FM 2019是正式方法欧洲（FME）组织的系列国际研讨会中的第23次，该协会是一个独立的协会，旨在促进软件开发正式方法的使用和研究。官网链接：http://formalmethods2019.inesctec.pt/?page_id=565
Arxiv
0+阅读 · 2022年1月17日
Arxiv
5+阅读 · 2019年3月19日
相关主题
相关VIP内容
相关资讯
相关论文
Arxiv
0+阅读 · 2022年1月17日
Arxiv
5+阅读 · 2019年3月19日
微信扫码咨询专知VIP会员