2 papers
cs.SE2024
Integrated Modeling, Verification, and Code Generation for Unmanned Aerial Systems
Jianyu Zhang, Long Zhang, Yixuan Wu +2
Unmanned Aerial Systems (UAS) are currently widely used in safety-critical fields such as industrial production, military operations, and disaster relief. Due to the diversity and…
cs.SE2024
An Agile Formal Specification Language Design Based on K Framework
Jianyu Zhang, Long Zhang, Yixuan Wu +1
Formal Methods (FMs) are currently essential for verifying the safety and reliability of software systems. However, the specification writing in formal methods tends to be complex…