Browse Prior Art Database

Using Simulation Prior to Coverability Analysis

IP.com Disclosure Number: IPCOM000016361D
Original Publication Date: 2002-Oct-03
Included in the Prior Art Database: 2003-Jun-21

Publishing Venue

IBM

Abstract

Using Simulation Prior to Coverability Analysis Formal Methods Europe Copenhagen, Denmark, July 22-24 1