Computer Aided Verification - Constantin Enea; Akash Lal; Constantin Enea; Akash Lal (Computer Aided Verification, 2023)