9 citations · 16 across the 9 of their papers we have counts for
1 paper · 1 filter
Aruna Jayasena, Prabhat Mishra
Hardware-firmware co-verification is critical to design trustworthy systems. While formal methods can provide verification guarantees, due to the complexity of firmware and hardwar…