【24h】

Preface

机译:前言

获取原文

摘要

This volume contains the proceedings of the 25th International Symposium on Model Checking Software, SPIN 2018, held in Malaga, Spain, June 20-22, 2018. SPIN is a well-recognized periodic event started in 1995 around the model checking tool SPIN. Since 1995, the event has evolved and has been consolidated as a reference symposium in the area of formal methods related to model checking. The previous edition of the SPIN symposium took place in Santa Barbara (USA) with a record number of submissions and participants.
机译:该卷包含于2018年6月20日至22日在西班牙马拉加举行的第25届国际模型检查软件研讨会(SPIN 2018)的议事录。SPIN是公认的定期活动,始于1995年,围绕模型检查工具SPIN。自1995年以来,该活动不断发展,并已被巩固为与模型检查有关的形式方法领域的参考座谈会。 SPIN研讨会的上一届会议在美国圣塔芭芭拉(Santa Barbara)举行,创纪录的参赛人数和参加人数。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号