Browse Prior Art Database

Method for dynamic formal verification

IP.com Disclosure Number: IPCOM000018763D
Publication Date: 2003-Aug-06

Publishing Venue

The IP.com Prior Art Database

Abstract

Disclosed is a method for dynamic formal verification (DFV). Benefits include improved functionality, an improved development environment, and an improved test environment.