David W. Currie

According to our database, David W. Currie authored at least 3 papers between 2000 and 2006.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2006

Embedded Software Verification Using Symbolic Execution and Uninterpreted Functions.

David W. Currie, Xiushan Feng, Masahiro Fujita, Alan J. Hu, Mark Kwan, Sreeranga P. Rajan

Int. J. Parallel Program., 2006

2003

ZML: XML Support for Standard Z.

Mark Utting, Ian Toyn, Jing Sun, Andrew P. Martin, Jin Song Dong, Nicholas Daley, David W. Currie

Proceedings of the ZB 2003: Formal Specification and Development in Z and B, 2003

2000

Automatic formal verification of DSP software.

David W. Currie, Alan J. Hu, Sreeranga P. Rajan

Proceedings of the 37th Conference on Design Automation, 2000