Strategies for sat-based formal verification
Year: 2007
Type: dissertation
Authors: Michael S. Hsiao, Vishnu C. Vimjam
Institution: Virginia Tech
Language: English
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: closed
OpenAlex ID: W2171735771