VQCS: Verified Quantity Calculus System

ZhengPu Shi. VQCS: Verified Quantity Calculus System. In Amir Goharshady, Christoph Haase, editors, Dependable Software Engineering. Theories, Tools, and Applications - 11th International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2025, Oxford, UK, December 1-3, 2025, Proceedings. Volume 16458 of Lecture Notes in Computer Science, pages 154-173, Springer, 2025. [doi]

Abstract

Abstract is missing.