| 书目名称 | Verified Software: Theorie, Tools, Experiments | | 副标题 | 5th International Co | | 编辑 | Ernie Cohen,Andrey Rybalchenko | | 视频video | | | 丛书名称 | Lecture Notes in Computer Science | | 图书封面 |  | | 描述 | This volume constitutes the thoroughly refereed post-conference proceedings of the 5th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2013, held in Menlo Park, CA, USA, in May 2013. The 17 revised full papers presented were carefully revised and selected from 35 submissions. The papers address a wide range of topics including education, requirements modeling, specification languages, specification/verification case-studies, formal calculi, software design methods, automatic code generation, refinement methodologies, compositional analysis, verification tools, tool integration, benchmarks, challenge problems, and integrated verification environments. | | 出版日期 | Conference proceedings 2014 | | 关键词 | global optimization; hybrid system; parallel SAT-solving; static analysis; theorem proving | | 版次 | 1 | | doi | https://doi.org/10.1007/978-3-642-54108-7 | | isbn_softcover | 978-3-642-54107-0 | | isbn_ebook | 978-3-642-54108-7Series ISSN 0302-9743 Series E-ISSN 1611-3349 | | issn_series | 0302-9743 | | copyright | Springer-Verlag Berlin Heidelberg 2014 |
The information of publication is updating
书目名称Verified Software: Theorie, Tools, Experiments影响因子(影响力)
书目名称Verified Software: Theorie, Tools, Experiments影响因子(影响力)学科排名
书目名称Verified Software: Theorie, Tools, Experiments网络公开度
书目名称Verified Software: Theorie, Tools, Experiments网络公开度学科排名
书目名称Verified Software: Theorie, Tools, Experiments被引频次
书目名称Verified Software: Theorie, Tools, Experiments被引频次学科排名
书目名称Verified Software: Theorie, Tools, Experiments年度引用
书目名称Verified Software: Theorie, Tools, Experiments年度引用学科排名
书目名称Verified Software: Theorie, Tools, Experiments读者反馈
书目名称Verified Software: Theorie, Tools, Experiments读者反馈学科排名
|
|
|
发表于 2025-3-21 17:39:13
