Automated Technology for Verification and Analysis

This book constitutes the refereed proceedings of the 6th International Symposium on Automated Technology for Verification and Analysis, ATVA 2008, held in Seoul, Korea, in October 2008. The 21 revised full papers 5 short papers and 7 tool papers presented together with 3 invited talks were caref...

全面介紹

Saved in:
書目詳細資料
其他作者: Cha, S.
格式: 圖書
語言:English
出版: Springer 2017
主題:
004
在線閱讀:http://repository.vnu.edu.vn/handle/VNU_123/26171
標簽: 添加標簽
沒有標簽, 成為第一個標記此記錄!
機構: Vietnam National University, Hanoi
語言: English
id oai:112.137.131.14:VNU_123-26171
record_format dspace
spelling oai:112.137.131.14:VNU_123-261712020-07-17T04:24:16Z Automated Technology for Verification and Analysis Cha, S. Choi, J.-Y. Kim, M. Viswanathan, M. Computer Science ; Automatic theorem proving -- Congresses 004 This book constitutes the refereed proceedings of the 6th International Symposium on Automated Technology for Verification and Analysis, ATVA 2008, held in Seoul, Korea, in October 2008. The 21 revised full papers 5 short papers and 7 tool papers presented together with 3 invited talks were carefully reviewed and selected from 82 submissions. The focos lies on theoretical methods to achieve correct software or hardware systems, including both functional and non functional aspects; as well as on applications of theory in engineering methods and particular domains and handling of practical problems occurring in tools. The papers are organized in topical sections on model checking, software verification, decision procedures, linear-time analysis, tool demonstration papers, timed and stochastic systems, theory, and short papers. 2017-04-11T04:14:37Z 2017-04-11T04:14:37Z 2008 Book 978-3-540-88386-9 http://repository.vnu.edu.vn/handle/VNU_123/26171 en 441 p. application/pdf Springer
institution Vietnam National University, Hanoi
building VNU Library & Information Center
country Vietnam
collection VNU Digital Repository
language English
topic Computer Science ; Automatic theorem proving -- Congresses
004
spellingShingle Computer Science ; Automatic theorem proving -- Congresses
004
Automated Technology for Verification and Analysis
description This book constitutes the refereed proceedings of the 6th International Symposium on Automated Technology for Verification and Analysis, ATVA 2008, held in Seoul, Korea, in October 2008. The 21 revised full papers 5 short papers and 7 tool papers presented together with 3 invited talks were carefully reviewed and selected from 82 submissions. The focos lies on theoretical methods to achieve correct software or hardware systems, including both functional and non functional aspects; as well as on applications of theory in engineering methods and particular domains and handling of practical problems occurring in tools. The papers are organized in topical sections on model checking, software verification, decision procedures, linear-time analysis, tool demonstration papers, timed and stochastic systems, theory, and short papers.
author2 Cha, S.
author_facet Cha, S.
format Book
title Automated Technology for Verification and Analysis
title_short Automated Technology for Verification and Analysis
title_full Automated Technology for Verification and Analysis
title_fullStr Automated Technology for Verification and Analysis
title_full_unstemmed Automated Technology for Verification and Analysis
title_sort automated technology for verification and analysis
publisher Springer
publishDate 2017
url http://repository.vnu.edu.vn/handle/VNU_123/26171
_version_ 1680965446975619072