| 書目名稱 | Runtime Verification |
| 副標題 | 7th International Wo |
| 編輯 | Oleg Sokolsky,Serdar Ta??ran |
| 視頻video | http://file.papertrans.cn/833/832133/832133.mp4 |
| 叢書名稱 | Lecture Notes in Computer Science |
| 圖書封面 |  |
| 描述 | Runtime veri?cation is a recent direction in formal methods research, which is complementary to such well-established formal veri?cation methods as model checking. Research in runtime veri?cation deals with formal languages suitable for expressing system properties that are checkable at run time; algorithms for checking of formal properties over an execution trace; low-overhead means of extracting information from the running system that is su?cient for checking of the property. Applications of runtime veri?cation technology include po- deployment monitoring of system correctness and performance; construction of formally speci?ed test oracles; collection of statistics about system behavior, among others. The Workshop on Runtime Veri?cation was started in 2001 and has been held annually since then. The workshop was co-located with the Conference on Computer-Aided Veri?cation (CAV) in 2001–2003 and 2005–2006;and with the European Joint Conferences on Theory and Practice of Software (ETAPS) in 2004. In 2007, the workshop was held on March 13, 2007 in Vancouver, British Columbia, Canada, co-located to the Conference on Aspect-Oriented Software Development (AOSD) in order to explore the |
| 出版日期 | Conference proceedings 2007 |
| 關鍵詞 | Aspect-oriented programming; Open-Source; Variable; abstract state machines; aspect oriented programming |
| 版次 | 1 |
| doi | https://doi.org/10.1007/978-3-540-77395-5 |
| isbn_softcover | 978-3-540-77394-8 |
| isbn_ebook | 978-3-540-77395-5Series ISSN 0302-9743 Series E-ISSN 1611-3349 |
| issn_series | 0302-9743 |
| copyright | Springer-Verlag Berlin Heidelberg 2007 |
|Archiver|手機版|小黑屋|
派博傳思國際
( 京公網安備110108008328)
GMT+8, 2025-10-6 18:18
發(fā)表于 2025-3-21 16:54:58
