Dansk
Verified Software. Theories, Tools, and Experiments e-bog
436,85 DKK
(inkl. moms 546,06 DKK)
This volume constitutes the thoroughly refereed post-conference proceedings of the 11th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2019, held in New York City, NY, USA, in July 2019.The 9 full papers presented were carefully revised and selected from 17 submissions. The papers describe large-scale verification efforts that involve collaboration, theor...
E-bog
436,85 DKK
Forlag
Springer
Udgivet
13 marts 2020
Genrer
Information technology: general topics
Sprog
English
Format
epub
Beskyttelse
LCP
ISBN
9783030416003
This volume constitutes the thoroughly refereed post-conference proceedings of the 11th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2019, held in New York City, NY, USA, in July 2019.The 9 full papers presented were carefully revised and selected from 17 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.