High level static analysis of system descriptions for taming verification complexity
Year: 2007
Type: article
Authors: Jacob A. Abraham, Shobha Vasudevan
Institution: The University of Texas at Austin
Language: English
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: closed
OpenAlex ID: W1948968279