Oski Technology is a formal verification services company. The company was founded in 2005 by Vigyan Singhal.
Oski believes that to successfully apply formal verification, the formal tools needed to be complemented with a methodology. Oski has focused on developing a formal verification methodology and Oski Abstraction Models which it has applied to solve verification problems.
The company is headquartered in Mountain View, CA with a design center in India.
