Author:
Xiong Haiyan,Curzon Paul,Tahar Sofiène,Blandford Ann
Publisher
Springer Science and Business Media LLC
Subject
Hardware and Architecture,Theoretical Computer Science,Software
Reference50 articles.
1. Aagaard MD, Jones RB, Kaivola R, Seger CJH (2000) Formal verification of iterative algorithms in microprocessors. In: Design Automation Conference, Washington, D.C., USA, pp 201–206
2. Adams A, Dunstan M, Gottliebsen H, Kelsey T, Martin U, Owre S (2001) Computer algebra meets automated theorem proving: Integrating Maple and PVS. In: Boulton R, Jackson P (eds) Theorem proving in higher order logics, vol 2152 of Lecture Notes in Computer Science, pp 27–42
3. Amjad H (2003) Programming a symbolic model checker in a fully expansive theorem prover. In: Basin D, Wolff B (eds) Theorem proving in higher order logics, vol 2758 of Lecture Notes in Computer Science, Springer-Verlag, pp 171–187
4. Basin D, Friedrich S, Gawkowski M (2002) Verified bytecode model checkers. In: Carreno V, Munoz C, Tahar S (eds) Theorem proving in higher order logics, vol 2410 of Lecture Notes in Computer Science, Springer-Verlag, pp 47–66
5. Bensalem S, Ganesh V, Lakhnech Y, Munoz C, Owre S, Rueß H, Rushby J, Rusu V, Saïdi H, Shankar N, Singerman E, Tiwari A (June 2000) An overview of SAL. In: Holloway CM (ed) Fifth NASA Langley formal methods workshop, Hampton, Virginia, USA, NASA Langley Research Center, pp 187–196