Cited By
View all- Elad NShoham S(2025)Axe ’Em: Eliminating Spurious States with Induction AxiomsProceedings of the ACM on Programming Languages10.1145/37048539:POPL(479-508)Online publication date: 9-Jan-2025
- Chatterjee PRoy SDiep BLal A(2022)Distributed bounded model checkingFormal Methods in System Design10.1007/s10703-021-00385-164:1-3(50-72)Online publication date: 5-Jan-2022
- Chatterjee PMeda JLal ARoy S(2022)Proof-Guided Underapproximation Widening for Bounded Model CheckingComputer Aided Verification10.1007/978-3-031-13185-1_15(304-324)Online publication date: 7-Aug-2022
- Show More Cited By