Computer Aided Verification : 29th International...

Computer Aided Verification : 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II

Kunčak, Viktor, Majumdar, Rupak
你有多喜歡這本書?
文件的質量如何?
下載本書進行質量評估
下載文件的質量如何?
The two-volume set LNCS 10426 and LNCS 10427 constitutes the refereed proceedings of the 29th International Conference on Computer Aided Verification, CAV 2017, held in Heidelberg, Germany, in July 2017. The total of 50 full and 7 short papers presented together with 5 keynotes and tutorials in the proceedings was carefully reviewed and selected from 191 submissions. The CAV conference series is dedicated to the advancement of the theory and practice of computer-aided formal analysis of hardware and software systems. The conference covers the spectrum from theoretical results to concrete applications, with an emphasis on practical verification tools and the algorithms and techniques that are needed for their implementation.
Abstract: The two-volume set LNCS 10426 and LNCS 10427 constitutes the refereed proceedings of the 29th International Conference on Computer Aided Verification, CAV 2017, held in Heidelberg, Germany, in July 2017. The total of 50 full and 7 short papers presented together with 5 keynotes and tutorials in the proceedings was carefully reviewed and selected from 191 submissions. The CAV conference series is dedicated to the advancement of the theory and practice of computer-aided formal analysis of hardware and software systems. The conference covers the spectrum from theoretical results to concrete applications, with an emphasis on practical verification tools and the algorithms and techniques that are needed for their implementation
類別:
年:
2017
出版商:
Springer International Publishing
語言:
english
頁數:
623
ISBN 10:
3319633902
ISBN 13:
9783319633909
系列:
Lecture Notes in Computer Science 10427
文件:
PDF, 20.83 MB
IPFS:
CID , CID Blake2b
english, 2017
線上閱讀
轉換進行中
轉換為 失敗

最常見的術語