Industrial hardware and software verification with ACL2.
Saved in:
| Title: | Industrial hardware and software verification with ACL2. |
|---|---|
| Authors: | Hunt Jr., Warren A.1, Kaufmann, Matt1, Moore, J. Strother1 moore@cs.utexas.edu, Slobodova, Anna2 |
| Source: | Philosophical Transactions of the Royal Society A: Mathematical, Physical & Engineering Sciences. 10/13/2017, Vol. 375 Issue 2104, p1-20. 20p. |
| Database: | Academic Search Ultimate |
| ISSN: | 1364503X |
|---|---|
| DOI: | 10.1098/rsta.2015.0399 |
