Text this: Verification of Sequential and Concurrent Programs