Date of Original Version

2003

Type

Technical Report

Rights Management

All Rights Reserved

Abstract or Description

Abstract: "This report is a collection of six articles on model checking in the abstraction/refinement framework. This framework is used by various techniques for tackling the state-space explosion problem that is frequently encountered in model checking."

Share

COinS