Cited By
View all- Jevitha KJayaraman BSethumadhavan M(2024)Runtime verification on abstract finite state modelsJournal of Systems and Software10.1016/j.jss.2024.112138216(112138)Online publication date: Oct-2024
- Lu HWang HGui JChen PHuang H(2022)A novel data-driven approach on inferring loop invariants for C programsJournal of Computer Languages10.1016/j.cola.2022.10113571(101135)Online publication date: Aug-2022
- Rungta N(2022)A Billion SMT Queries a Day (Invited Paper)Computer Aided Verification10.1007/978-3-031-13185-1_1(3-18)Online publication date: 7-Aug-2022
- Show More Cited By