Hardware Verification Using Software Analyzers
Year: 2015
Type: conference-paper
Authors: Rajdeep Mukherjee, Daniel Kroening, Tom Melham
Institution: University of Oxford
Language: English
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: closed
Award: G8816344460
OpenAlex ID: W1917325995