Computer-Aided Reasoning : ACL2 Case Studies /
Computer-Aided Reasoning: ACL2 Case Studies illustrates how the computer-aided reasoning system ACL2 can be used in productive and innovative ways to design, build, and maintain hardware and software systems. Included here are technical papers written by twenty-one contributors that report on self-c...
| Main Author: | |
|---|---|
| Corporate Author: | |
| Other Authors: | , |
| Format: | eBook |
| Language: | English |
| Published: |
Boston, MA :
Springer US,
2000.
|
| Series: | Advances in formal methods ;
4. |
| Subjects: | |
| Online Access: | Connect to the full text of this electronic book |
Search Result 1
