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
- Hiep HMaathuis OBian Jde Boer Fde Gouw S(2022)Verifying OpenJDK’s LinkedList using KeY (extended paper)International Journal on Software Tools for Technology Transfer10.1007/s10009-022-00679-724:5(783-802)Online publication date: 17-Oct-2022
- Karbyshev ABjørner NItzhaky SRinetzky NShoham S(2017)Property-Directed Inference of Universal Invariants or Proving Their AbsenceJournal of the ACM10.1145/302218764:1(1-33)Online publication date: 29-Mar-2017
- Show More Cited By