BDD-based safety-analysis of concurrent software with pointer data structures using graph automorphism symmetry reduction

Resource

IEEE Transactions on Software Engineering 30 (6): 403-417

Journal

IEEE Transactions on Software Engineering

Journal Volume

30

Journal Issue

6

Pages

403-417

Date Issued

2004-06

Date

2004

Author(s)

Schmidt, K.

Yu, Fang

Huang, Geng-Dian

Wang, Bow-Yaw

DOI

URI

Type

journal article

File(s)

Name

02.pdf

Size

1.55 MB

Format

Adobe PDF

Checksum

(MD5):002826aa0eb75505cb10bdd5e0941ae1