Automated technology for verification and analysis : third international symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005 : proceedings
The Automated technology for verification and analysis (ATVA) international symposium series was initiated in 2003, responding to a growing interest in formal verification spurred by the booming IT industry, particularly hardware design and manufacturing in East Asia. Its purpose is to promote resea...
Saved in:
Other Authors: | |
---|---|
Corporate Author: | |
Conference: | |
Format: | eBook |
Language: | English |
Published: |
Berlin ; Heidelberg ; New York :
Springer,
2005
|
Series: | Lecture notes in computer science
|
Genre/form: | elektronické knihy sborníky konferencí |
ISBN: | 978-3-540-31969-6 978-3-540-29209-8 3-540-29209-8 |
Subjects: | |
Online Access: | Plný text |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
LEADER | 04014cam a22006137i 4500 | ||
---|---|---|---|
001 | 001818729 | ||
003 | CZ PrSTK | ||
005 | 20220720081305.0 | ||
006 | m f d | ||
007 | cr nn 008mamaa | ||
008 | 100316t20052005gw fs 100 0 eng d | ||
020 | |a 978-3-540-31969-6 |q (elektronická kniha) | ||
020 | |z 978-3-540-29209-8 |q (brožováno) |z 3-540-29209-8 | ||
024 | 7 | |a 10.1007/11562948 |2 doi | |
040 | |a DE-He213 |b cze |d ABA013 |e rda | ||
044 | |a gw |a xxu | ||
072 | 7 | |a 004 |x Počítačová věda. Výpočetní technika. Informační technologie |2 Konspekt |9 23 | |
080 | |a 004 |2 MRF | ||
080 | |a 004.38 |2 MRF | ||
080 | |a 004.41 |2 MRF | ||
080 | |a 004.42 |2 MRF | ||
080 | |a 004.43 |2 MRF | ||
080 | |a 004.438Java |2 MRF | ||
080 | |a 004.439:004.55XML |2 MRF | ||
080 | |a (0.034.2:08) |2 MRF | ||
080 | |a (062.534) |2 MRF | ||
111 | 2 | |a ATVA (sympozium) |n (3. : |d 2005 : |c Tchaj-pej, Tchaj-wan) |7 xx0039127 | |
245 | 1 | 0 | |a Automated technology for verification and analysis : |b third international symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005 : proceedings / |c Doron A. Peled, Yih-Kuen Tsay (eds.) |
264 | 1 | |a Berlin ; |a Heidelberg ; |a New York : |b Springer, |c [2005] | |
264 | 4 | |c ©2005 | |
300 | |a 1 online zdroj (XII, 508 stran) | ||
336 | |a text |b txt |2 rdacontent | ||
337 | |a počítač |b c |2 rdamedia | ||
338 | |a online zdroj |b cr |2 rdacarrier | ||
490 | 1 | |a Lecture notes in computer science, |x 0302-9743 ; |v 3707 | |
520 | |a The Automated technology for verification and analysis (ATVA) international symposium series was initiated in 2003, responding to a growing interest in formal verification spurred by the booming IT industry, particularly hardware design and manufacturing in East Asia. Its purpose is to promote research on automated verification and analysis in the region by providing a forum for interaction between the regional and the international research/industrial communities of the field. ATVA 2005, the third of the ATVA series, was held in Taipei, Taiwan, October 4-7, 2005. The main theme of the symposium encompasses design, complexities, tools, and applications of automated methods for verification and analysis. The symposium was co-located and had a two-day overlap with FORTE 2005, which was held October 2-5, 2005. We received a total of 95 submissions from 17 countries. Each submission was assigned to three program committee members, who were helped by their subreviewers, for rigorous and fair evaluation. The final deliberation by the program committee was conducted over email for a duration of about 10 days after nearly all review reports had been collected. In the end, 33 papers were selected for inclusion in the program. ATVA 2005 had three keynote speeches given respectively by Amir Pnueli (joint with FORTE 2005), Zohar Manna, and Wolfgang Thomas. The main symposium was preceded by a tutorial day, consisting of three two-hour lectures given also by the keynote speakers. | ||
650 | 0 | 7 | |a informatika |x if |7 psh6548 |2 psh |
650 | 0 | 7 | |a počítače |x vt |7 psh12315 |2 psh |
650 | 0 | 7 | |a softwarové inženýrství |x if |7 psh6634 |2 psh |
650 | 0 | 7 | |a programování |x vt |7 psh12467 |2 psh |
650 | 0 | 7 | |a programovací jazyky |x vt |7 psh12474 |2 psh |
650 | 0 | 7 | |a programovací jazyk Java |x vt |7 psh12478 |2 psh |
650 | 0 | 7 | |a XML |x vt |7 psh12494 |2 psh |
650 | 0 | 7 | |a CAE |x vt |7 psh12564 |2 psh |
655 | 7 | |a elektronické knihy |7 fd186907 |2 czenas | |
655 | 7 | |a sborníky konferencí |7 fd133333 |2 czenas | |
700 | 1 | |a Peled, Doron A., |d 1962- |7 xx0006809 |4 edt | |
700 | 1 | |a Tsay, Yih-Kuen, |d 1962- |7 xx0039126 |4 edt | |
710 | 2 | |a SpringerLink (online služba) |7 ntk2018999494 |4 dst | |
776 | 0 | 8 | |i Tištěné vydání: |t Automated technology for verification and analysis : third international symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005 : proceedings |z 978-3-540-29209-8 |
830 | 0 | |a Lecture notes in computer science | |
856 | 4 | 0 | |u https://doi.org/10.1007/11562948 |y Plný text |
910 | |a ABA013 | ||
950 | |a Springer |b Lecture Notes in Computer Science 2017 |