Dismiss
InnovationQ will be updated on Sunday, Oct. 22, from 10am ET - noon. You may experience brief service interruptions during that time.
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
Document File: 1 page(s) / 29K

Publishing Venue

IBM

Abstract

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

This text was extracted from a PDF file.
This is the abbreviated version, containing approximately 100% of the total text.

Page 1 of 1

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

1