VESC: Towards Temporal Verification of Smart Contracts. - Samuel Larsen; Kevin Johanson; Yuandong Cyrus Liu (SPLASH Companion, 2024)