Verified Software. Theories, Tools, and Experiments: 10th International Conference, VSTTE 2018, Oxford, UK, July 18–19, 2018, Revised Selected Papers
Ruzica Piskac, Philipp RümmerThis volume constitutes the thoroughly refereed post-conference proceedings of the 10th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2018, held in Oxford, UK, in July 2018.
The 19 full papers presented were carefully revised and selected from 24 submissions. The papers describe large-scale verification efforts that involve collaboration, theory unification, tool integration, and formalized domain knowledge as well as novel experiments and case studies evaluating verification techniques and technologies.
الفئات:
عام:
2018
الإصدار:
1st ed.
الناشر:
Springer International Publishing
اللغة:
english
ISBN 10:
3030035921
ISBN 13:
9783030035921
سلسلة الكتب:
Lecture Notes in Computer Science 11294
ملف:
PDF, 16.26 MB
IPFS:
,
english, 2018
Amazon 
Barnes & Noble 
Bookshop.org 
حول الملفات
المزيد من نتائج البحث
مميزات أخري 
![Isil Dillig & Serdar Tasiran [Isil Dillig] — Computer Aided Verification: 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings](https://s3proxy.cdn-zlib.se/covers200/collections/userbooks/b404e985251add1614aa7268d5ddd5cb4e8108aa9bc81fa42c5be27f3a3d32f0.jpg)
![Péter Müller [Müller, Péter] — Programming Languages and Systems: 29th European Symposium on Programming, ESOP 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings](https://s3proxy.cdn-zlib.se/covers200/collections/userbooks/4632631b1f98544728f58695e7c9855fa721009738fe8c1355f11595304bcaac.jpg)
![Amal Ahmed [Amal Ahmed] — Programming Languages and Systems: 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice ... Science and General Issues Book 10801)](https://s3proxy.cdn-zlib.se/covers200/collections/userbooks/f62742082dc192d066d9d0d406ea0bc62340fe7a3de1a81562148a09ae366985.jpg)
![Ahmed Bouajjani & Oded Maler [Bouajjani, Ahmed & Maler, Oded] — Computer Aided Verification: 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009, Proceedings](https://s3proxy.cdn-zlib.se/covers200/collections/userbooks/5f44de0508e10134e04d413a46a8f548ae3a5ff8191c4d075e0fe10b03999696.jpg)
