Model checking is a powerful tool for verifying the correctness of hardware and software systems.
Technology can be our greatest ally in reducing bycatch and protecting marine life.