Cited By
View all- Pirzada MReger GBhayat ACordeiro LFilkov VRay BZhou M(2024)LLM-Generated Invariants for Bounded Model Checking Without Loop UnrollingProceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering10.1145/3691620.3695512(1395-1407)Online publication date: 27-Oct-2024
- Murali ARivera CMadhusudan P(2024)Predictable Verification using Intrinsic DefinitionsProceedings of the ACM on Programming Languages10.1145/36564508:PLDI(1804-1829)Online publication date: 20-Jun-2024
- Murali APeña LLöding CMadhusudan P(2023)A First-order Logic with FramesACM Transactions on Programming Languages and Systems10.1145/358305745:2(1-44)Online publication date: 15-May-2023
- Show More Cited By