Atlas Verification of Interstate Agent