Welcome to the home of the System Validation Laboratory, the Department of Computer Science, Portland State University!

Our lab was established in 2004 and is directed by Prof. Fei Xie. We conduct research in verification and validation for a wide-range of computer systems from hardware to software, to embedded systems, and to cyber-physical systems. Our solutions combine formal methods, simulation, testing,  run-time validation, etc.

We strive to ensure the relevance of our research to industrial problems. Our research has been supported by funding sources ranging from government agencies such as the National Science Foundation to industrial consortiums such as  Semiconductor Research Corporation and to private companies such as Intel Corporation.