Cited By
View all- Chatterjee PRoy SDiep BLal A(2022)Distributed bounded model checkingFormal Methods in System Design10.1007/s10703-021-00385-1Online 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
- Chen XTrinh MRodrigues NPeña LRoşu G(2020)Towards a unified proof framework for automated fixpoint reasoning using matching logicProceedings of the ACM on Programming Languages10.1145/34282294:OOPSLA(1-29)Online publication date: 13-Nov-2020
- Show More Cited By