Verifying multi-threaded embedded systems with software tracing
Traditional verification methods are not sufficient to fully verify multi-threaded systems. Most embedded systems today are powered by multi-threaded software, e.g., running on Linux or a real-time operating system (RTOS).…