Sarat Chandra Varanasi, Baoluo Meng, Robert Lorch, Abha Moitra, Kit Siu, Saswata Paul, Michael Durling, Neha Beniwal, Nikita Visnevski. TRACE: Toolkit for Requirements Analysis, Capture, and Elicitation. In Aaron Dutle, Laura R. Humphrey, Laura Titolo, editors, NASA Formal Methods - 17th International Symposium, NFM 2025, Williamsburg, VA, USA, June 11-13, 2025, Proceedings. Volume 15682 of Lecture Notes in Computer Science, pages 380-399, Springer, 2025. [doi]
Abstract is missing.