This two-volume set contains papers presented at the International Conference on Computational Engineering Science (ICES '95) held in Mauna Lani, Hawaii from 30 July to 3 August, 1995. The contributions capture the state of the science in computational modeling and simulation in a variety of engineering disciplines: civil, mechanical, aerospace, materials and electronics engineering.We have successfully used the core strategy described in the paper to verify a number of instructions (identified by Rockwell engineers) of AAMP5. ... In Proceedings of the HOL Usera#39;s Group Workshop, pages 401- 414, 1993. 2.
|Title||:||Theorem Provers in Circuit Design|
|Author||:||Ramayya Kumar, Thomas Kropf|
|Publisher||:||Springer Science & Business Media - 1995-03-06|