Madhavan Mukund,
Supratik Chakraborty
Springer Berlin Heidelberg
2012e druk, 2012
9783642333859
Automated Technology for Verification and Analysis
10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012, Proceedings
Specificaties
Paperback, 436 blz.
|
Engels
Springer Berlin Heidelberg |
2012e druk, 2012
ISBN13: 9783642333859
Rubricering
Onderdeel van serie
Lecture Notes in Computer Science
Levertijd ongeveer 8 werkdagen
Samenvatting
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.
Specificaties
ISBN13:9783642333859
Taal:Engels
Bindwijze:paperback
Aantal pagina's:436
Uitgever:Springer Berlin Heidelberg
Druk:2012
Hoofdrubriek:Netwerken, Computer en informatica
Inhoudsopgave
<p>Fast conference proceedings.-State-of-the-art report.-Up to date results</p>