David W. Currie

Publication Activity (10 Years)

Years Active: 2000-2006
Publications (10 Years): 0

Publications

David W. Currie, Xiushan Feng, Masahiro Fujita, Alan J. Hu, Mark Kwan, Sreeranga P. Rajan
Embedded Software Verification Using Symbolic Execution and Uninterpreted Functions. Int. J. Parallel Program. 34 (1) (2006)
Mark Utting, Ian Toyn, Jing Sun, Andrew P. Martin, Jin Song Dong, Nicholas Daley, David W. Currie
ZML: XML Support for Standard Z. ZB (2003)
David W. Currie, Alan J. Hu, Sreeranga P. Rajan
Automatic formal verification of DSP software. DAC (2000)