Date of Original Version

11-2004

Type

Conference Proceeding

Abstract or Description

This tutorial describes automatic techniques for formally verifying hardware and software by creating Boolean abstractions of the underlying unbounded system state variables.

Share

COinS