Automated Technology for Verification and Analysis: 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, Proceedings (2008) (Lecture Notes in Computer Science #5311)
By: and and and
Sign Up Now!
Already a Member? Log In
You must be logged into UK education collection to access this title.
Learn about membership options,
or view our freely available titles.
- Synopsis
- 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.
- Copyright:
- 2008
Book Details
- Book Quality:
- Publisher Quality
- ISBN-13:
- 9783540883876
- Related ISBNs:
- 9783540883869
- Publisher:
- Springer Berlin Heidelberg
- Date of Addition:
- 08/10/22
- Copyrighted By:
- N/A
- Adult content:
- No
- Language:
- English
- Has Image Descriptions:
- No
- Categories:
- Nonfiction, Computers and Internet
- Submitted By:
- Bookshare Staff
- Usage Restrictions:
- This is a copyrighted book.
- Edited by:
- Sungdeok Cha
- Edited by:
- Jin-Young Choi
- Edited by:
- Moonzoo Kim
- Edited by:
- Mahesh Viswanathan
Reviews
Other Books
- by Sungdeok Cha
- by Jin-Young Choi
- by Moonzoo Kim
- by Mahesh Viswanathan
- in Nonfiction
- in Computers and Internet