Del 10712
Verified Software. Theories, Tools, and Experiments
9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected Papers
AvThomas Wies,Andrei Paskevich
E-bok
Engelska, 2017708 kr
Läs direkt i Bokus Reader – eller ladda ned till din enhet
Beskrivning
This volume constitutes the thoroughly refereed post-conference proceedings of the 9th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2017, held in Heidelberg, Germany, in July 2017.
The 12 full papers presented were carefully revised and selected from 20 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.
Produktinformation
Utforska kategorier
Hoppa över listan
Du kanske också är intresserad av
Del 13182
Verification, Model Checking, and Abstract Interpretation
Bernd Finkbeiner, Thomas Wies
Häftad, 2022
982 kr
Verification, Model Checking, and Abstract Interpretation
Thomas Wies, Bernd Finkbeiner
E-bok
20221 214 kr
Del 13990
Automated Verification of Concurrent Search Structures
Siddharth Krishna, Nisarg Patel, Dennis Shasha, Thomas Wies
Häftad, 2021
603 kr
Networked Systems : 11th International Conference, NETYS 2023, Benguerir, Morocco, May 22-24, 2023, Proceedings
David Mohaisen, Thomas Wies
644 kr
Automated Verification of Concurrent Search Structures
Thomas Wies, Dennis Shasha, Nisarg Patel, Siddharth Krishna
E-bok
2022770 kr
On the Pursuit of Insight and Elegance
Thomas Wies, Martin Schaf, Andrey Rybalchenko, Daniel Dietsch
E-bok
2026708 kr