Property-specific witness graph generation for guided simulation

A. Casavant, A. Gupta, S. Liu, A. Mukaiyama, K. Wakabayashi, P. Ashar

Research output: Contribution to journalArticlepeer-review

1 Scopus citations

Fingerprint

Dive into the research topics of 'Property-specific witness graph generation for guided simulation'. Together they form a unique fingerprint.

Keyphrases

Computer Science