Blick ins Buch

Automated Technology for Verification and Analysis

10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012, Proceedings

Madhavan Mukund, Supratik Chakraborty (Herausgeber)

Buch | Softcover

XIV, 438 Seiten

2012
Springer Berlin (Verlag)
978-3-642-33385-9 (ISBN)

Lese- und Medienproben

Inhaltsverzeichnis (PDF)

Artikel merken

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.

Fast conference proceedings.-State-of-the-art report.-Up to date results

Erscheint lt. Verlag	16.8.2012
Reihe/Serie	Lecture Notes in Computer Science
Reihe/Serie	Programming and Software Engineering
Zusatzinfo	XIV, 438 p. 106 illus.
Verlagsort	Berlin
Sprache	englisch
Maße	155 x 235 mm
Gewicht	679 g
Themenwelt	Mathematik / Informatik ► Informatik ► Netzwerke
	Mathematik / Informatik ► Informatik ► Programmiersprachen / -werkzeuge
	Mathematik / Informatik ► Informatik ► Software Entwicklung
Schlagworte	basic parallel processes • Decidability • Embedded Systems • QBF optimization • stochastic hybrid systems
ISBN-10	3-642-33385-0 / 3642333850
ISBN-13	978-3-642-33385-9 / 9783642333859
Zustand	Neuware