Automated Technology for Verification and Analysis
13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings
Seiten
2015
|
1st ed. 2015
Springer International Publishing (Verlag)
978-3-319-24952-0 (ISBN)
Springer International Publishing (Verlag)
978-3-319-24952-0 (ISBN)
This book constitutes the proceedings of the 13th International Symposium on Automated Technology for Verification and Analysis, ATVA 2015, held in Shanghai, China, in October 2015.
The 27 revised papers presented together with 6 tool papers in this volume were carefully reviewed and selected from 95 submissions. They show current research on theoretical and practical aspects of automated analysis, verification and synthesis by providing an international forum for interaction among the researchers in academia and industry.
Erscheinungsdatum | 08.10.2016 |
---|---|
Reihe/Serie | Lecture Notes in Computer Science | Programming and Software Engineering |
Zusatzinfo | XIII, 520 p. 96 illus. |
Verlagsort | Cham |
Sprache | englisch |
Maße | 155 x 235 mm |
Themenwelt | Mathematik / Informatik ► Informatik ► Programmiersprachen / -werkzeuge |
Mathematik / Informatik ► Informatik ► Software Entwicklung | |
Informatik ► Theorie / Studium ► Künstliche Intelligenz / Robotik | |
Schlagworte | Applications • Computer Science • conference proceedings • Dynamic Analysis • equivalence checking • formal methods • Formal Verification • Human-Robot Interaction • Informatics • Isabelle/HOL • Linear Programming • Logic • Mathematical Induction • Model Checking • probabilistic automata • Research • Rewriting • Safety • sequentialization • Software engineering • Software Engineering / Softwareentwicklung • Software Verification • Static Analysis • theorem proving • timed automata • verification • web applications |
ISBN-10 | 3-319-24952-5 / 3319249525 |
ISBN-13 | 978-3-319-24952-0 / 9783319249520 |
Zustand | Neuware |
Haben Sie eine Frage zum Produkt? |
Mehr entdecken
aus dem Bereich
aus dem Bereich
was sie kann & was uns erwartet
Buch | Softcover (2023)
C.H.Beck (Verlag)
CHF 25,20
von absurd bis tödlich: Die Tücken der künstlichen Intelligenz
Buch | Softcover (2023)
Heyne (Verlag)
CHF 27,95
dem Menschen überlegen – wie KI uns rettet und bedroht
Buch | Hardcover (2023)
Droemer (Verlag)
CHF 31,90