3 papers
cs.SE2026
Automated LTL Specification Generation from Industrial Aerospace Requirements
Zhi Ma, Xiao Liang, Cheng Wen +5
In the development and verification of safety-critical aero-space software, Linear Temporal Logic (LTL) has been widely used to specify complex system properties derived from requi…
cs.CR2026
SemFuzz: A Semantics-Aware Fuzzing Framework for Network Protocol Implementations
Yanbang Sun, Quan Luo, Yuelin Wang +6
Network protocols are the foundation of modern communication, yet their implementations often contain semantic vulnerabilities stemming from inadequate understanding of specificati…
cs.SE2025
SynQ: An Embedded DSL for Synchronous System Design with Quantitative Types
Rui Chen, Ingo Sander
System design automation aims to manage the design of embedded systems with ever-increasing complexity. To the success of system design automation, there is still a lack of systema…