| 2006 |
|---|
| 3 | EE | David W. Currie,
Xiushan Feng,
Masahiro Fujita,
Alan J. Hu,
Mark Kwan,
Sreeranga P. Rajan:
Embedded Software Verification Using Symbolic Execution and Uninterpreted Functions.
International Journal of Parallel Programming 34(1): 61-91 (2006) |
| 2003 |
|---|
| 2 | EE | Mark Utting,
Ian Toyn,
Jing Sun,
Andrew Martin,
Jin Song Dong,
Nicholas Daley,
David W. Currie:
ZML: XML Support for Standard Z.
ZB 2003: 437-456 |
| 2000 |
|---|
| 1 | EE | David W. Currie,
Alan J. Hu,
Sreeranga P. Rajan:
Automatic formal verification of DSP software.
DAC 2000: 130-135 |
