Towards LTL-PeAR: Augmenting Binary Rewriting with Correspondence Assertions (ASC project presentation)

29 October 2025, 15:00, CSIT Level 2 - Systems Area
Speaker: Arjun Sharma (ANU)
bars search caret-down plus minus arrow-right times