Examples of logical bugs include a shopping cart that applies a ... linters, and formal verification techniques to detect potential logic errors and enforce coding standards. …see more. Like. Like.