Book
Open access
Jul 2026
IDPVerifier: Verifying Interrupt-driven Programs Efficiently via Heuristic and Reduced Partial-order Constraints
A model checking approach that leverages interrupt mechanisms to prune the search space at the constraint-encoding stage, showing how leveraging interrupt semantics in constraint encoding can mitigate the state-space explosion in verifying complex embedded software.
Zixuan Yuan, Bin Yu, Xu Lu et al.
· SIGSOFT FSE Companion · 0 citations