Model checking: Back and forth between hardware and software

E Clarke, A Gupta, H Jain, H Veith - Working Conference on Verified …, 2005 - Springer
The interplay back and forth between software model checking and hardware model
checking has been fruitful for both. Originally intended for the analysis of concurrent …
被引用次数：25 相关文章
[PDF] ifip.org

[PDF][PDF] Model Checking: Back and Forth Between Hardware and Software

E Clarke, A Gupta, H Jain, H Veith - dl.ifip.org
The interplay back and forth between software model checking and hardware model
checking has been fruitful for both. Originally intended for the analysis of concurrent …

Model Checking: Back and Forth between Hardware and Software

E Clarke, A Gupta, H Jain, H Veith - … , Tools, Experiments: First IFIP TC 2 …, 2005 - dl.acm.org
The interplay back and forth between software model checking and hardware model
checking has been fruitful for both. Originally intended for the analysis of concurrent …
[PDF] cmu.edu

[PDF][PDF] Model Checking: Back and Forth between Hardware and Software

E Clarke, A Gupta, H Jain, H Veith - cs.cmu.edu
The interplay back and forth between software model checking and hardware model
checking has been fruitful for both. Originally intended for the analysis of concurrent …
[PDF] researchgate.net

[PDF][PDF] Model Checking: Back and Forth Between Hardware and Software

E Clarke, A Gupta, H Jain, H Veith - researchgate.net
The interplay back and forth between software model checking and hardware model
checking has been fruitful for both. Originally intended for the analysis of concurrent …
[PDF] ifip-tc6.org

[PDF][PDF] Model Checking: Back and Forth Between Hardware and Software

E Clarke, A Gupta, H Jain, H Veith - opendl.ifip-tc6.org
The interplay back and forth between software model checking and hardware model
checking has been fruitful for both. Originally intended for the analysis of concurrent …
[PDF] ethz.ch

[PDF][PDF] Model Checking: Back and Forth Between Hardware and Software

E Clarke, A Gupta, H Jain, H Veith - vstte.ethz.ch
The interplay back and forth between software model checking and hardware model
checking has been fruitful for both. Originally intended for the analysis of concurrent …

Model Checking: Back and Forth between Hardware and Software

E Clarke, A Gupta, H Jain, H Veith - Verified Software: Theories, Tools … - infona.pl
The interplay back and forth between software model checking and hardware model
checking has been fruitful for both. Originally intended for the analysis of concurrent …
[PDF] psu.edu

[PDF][PDF] Model Checking: Back and Forth Between Hardware and Software

E Clarke, A Gupta, H Jain, H Veith - Citeseer
The interplay back and forth between software model checking and hardware model
checking has been fruitful for both. Originally intended for the analysis of concurrent …

Model Checking: Back and Forth between Hardware and Software

E Clarke, A Gupta, H Jain, H Veith - … : First IFIP TC 2/WG 2.3 …, 2008 - books.google.com
The interplay back and forth between software model checking and hardware model
checking has been fruitful for both. Originally intended for the analysis of concurrent …