Knowledge Center ➜ Entities

Oski Technology

Formal services company


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.

  • Founded by: Vigyan Singhal in 2005
  • HQ: Mountain View, CA, USA
  • Known for: formal verification, services
  • Web: URL
  • Other names: Oski
  • Type: Company