Systems and methods of formal verification

Assignee

• Yale University

Inventors

• Zhong Shao (2 patents)
• Ronghui Gu (3 patents)
• Vilhelm Sjoberg (2 patents)
• Jieung Kim (2 patents)
• Jeremie Koenig (2 patents)

View full patent text on Google Patents →