1 citations · 1 across the 4 of their papers we have counts for
Showing 2024Show all
2 papers · 1 filter
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★ 1 cited
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…