Cited By
View all- Kumar AHippel MManolios PNita-Rotaru C(2023)Verification of GossipSub in ACL2sElectronic Proceedings in Theoretical Computer Science10.4204/EPTCS.393.10393(113-132)Online publication date: 14-Nov-2023
- Xing YGupta AMalik S(2022)Generalizing Tandem Simulation: Connecting High-level and RTL Simulation Models2022 27th Asia and South Pacific Design Automation Conference (ASP-DAC)10.1109/ASP-DAC52403.2022.9712564(154-159)Online publication date: 17-Jan-2022
- Shuja SSrinivasan SJabeen SNawarathna D(2015)A formal verification methodology for DDD mode pacemaker control programsJournal of Electrical and Computer Engineering10.1155/2015/9390282015(57-57)Online publication date: 1-Jan-2015
- Show More Cited By