Verified Software. Theories, Tools and Experiments.
Verified Software. Theories, Tools and Experiments. [electronic resource]
edited by Akash Lal, Stefano Tonetta.
- 1st ed. 2023.
- Cham Springer International Publishing 2023
- VIII, 167 p. 215 illus., 20 illus. in color. online resource.
This book constitutes the refereed proceedings of the 14th International Conference on Verified Software. Theories, Tools and Experiments, VSTTE 2022 held in Trento, Italy, during October 17-18, 2022. The 9 papers presented in this volume were carefully reviewed and selected from 20 submissions. The papers describe software 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.
9783031258039
Computer Hardware.
Computer Science Logic and Foundations of Programming.
Computer science.
Computer System Implementation.
Computer systems.
Computers, Special purpose.
Computers.
Logic in AI.
Logic programming.
Software engineering.
Software Engineering.
Special Purpose and Application-Based Systems.
004.015 1
This book constitutes the refereed proceedings of the 14th International Conference on Verified Software. Theories, Tools and Experiments, VSTTE 2022 held in Trento, Italy, during October 17-18, 2022. The 9 papers presented in this volume were carefully reviewed and selected from 20 submissions. The papers describe software 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.
9783031258039
Computer Hardware.
Computer Science Logic and Foundations of Programming.
Computer science.
Computer System Implementation.
Computer systems.
Computers, Special purpose.
Computers.
Logic in AI.
Logic programming.
Software engineering.
Software Engineering.
Special Purpose and Application-Based Systems.
004.015 1