| 书目名称 | Model Checking Software | | 副标题 | 23rd International S | | 编辑 | Dragan Bošnački,Anton Wijs | | 视频video | | | 丛书名称 | Lecture Notes in Computer Science | | 图书封面 |  | | 描述 | .This bookconstitutes the refereed proceedings of the 23rd International Symposium on ModelChecking Software, SPIN 2016, held in Eindhoven, The Netherlands, in April 2016..The 16 papers presented, consisting of 11 regular papers, 1 idea paper, and 4tool demonstrations, were carefully reviewed and selected from 27 submissions. Topics covered include model checking techniques, model checking tools, concurrent system semantics, equivalence checking, temporal logics, probabilistic systems, schedule and strategy synthesis using model checking, and verification case studies.. | | 出版日期 | Conference proceedings 2016 | | 关键词 | Action-based probabilistic logic; Formal methods; On-the-fly model checking; Program verification; Symbo | | 版次 | 1 | | doi | https://doi.org/10.1007/978-3-319-32582-8 | | isbn_softcover | 978-3-319-32581-1 | | isbn_ebook | 978-3-319-32582-8Series ISSN 0302-9743 Series E-ISSN 1611-3349 | | issn_series | 0302-9743 | | copyright | Springer International Publishing Switzerland 2016 |
The information of publication is updating
|
|
发表于 2025-3-21 18:26:45
