Automated Technology for Verification and Analysis: 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012. Proceedings

Gespeichert in:

Personen und Körperschaften:	Chakraborty, Supratik (VerfasserIn), Mukund, Madhavan (Sonstige)
Titel:	Automated Technology for Verification and Analysis: 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012. Proceedings/ edited by Supratik Chakraborty, Madhavan Mukund
Format:	E-Book Konferenzbericht
Sprache:	Englisch
veröffentlicht:	Berlin, Heidelberg Springer 2012
Gesamtaufnahme:	SpringerLink Lecture notes in computer science ; 7561
Schlagwörter:	Computer Communication Networks Logic design Computer Science Automatic theorem proving > Congresses Artificial intelligence > Congresses Computer science Software engineering Computer networks . Computer programming. Compilers (Computer programs). Konferenzschrift > 2012 > Thiruvananthapuram Konferenzschrift
Buchausg. u.d.T.:	Automated technology for verification and analysis, Berlin : Springer, 2012, XIV, 436 S.
Quelle:	Verbunddaten SWB
Zugangsinformationen:	Elektronischer Volltext - Campuslizenz

Details
Zusammenfassung:	This book constitutes the thoroughly refereed proceedings of the 10th International Symposium on Automated Technology for Verification and Analysis, ATVA 2012, held at Thiruvananthapuram, Kerala, India, in October 2012. The 25 regular papers, 3 invited papers and 4 tool papers presented were carefully selected from numerous submissions. Conference papers are organized in 9 technical sessions, covering the topics of automata theory, logics and proofs, model checking, software verification, synthesis, verification and parallelism, probabilistic verification, constraint solving and applications, and probabilistic systems.
Beschreibung:	Literaturangaben International conference proceedings
Umfang:	Online-Ressource (XIV, 436 p. 106 illus, digital)
ISBN:	9783642333866
DOI:	10.1007/978-3-642-33386-6