System Verification using User-Friendly Interfaces