Jad Hamza, Simon Felix, Viktor Kuncak, Ivo Nussbaumer, Filip Schramka. From Verified Scala to STIX File System Embedded Code Using Stainless. In Jyotirmoy V. Deshmukh, Klaus Havelund, Ivan Perez 0001, editors, NASA Formal Methods - 14th International Symposium, NFM 2022, Pasadena, CA, USA, May 24-27, 2022, Proceedings. Volume 13260 of Lecture Notes in Computer Science, pages 393-410, Springer, 2022. [doi]
Abstract is missing.