Any system that incorporates multiple microprocessors working together to perform one or more related threads is commonly referred to as a multiprocessor system. Using the Altera Nios II processor, the authors can quickly design and build multiprocessor systems. Nios II multiprocessor system consists of programs (threads), an operating system and more than one processor. This paper describes abstraction techniques from programs, operating system and processors to extract a finite state machine that reflects the thread manager in system context. At last, they apply common verification techniques to assure the correctness of the concurrent execution.