James L. Caldwell

NASA Langley's research and technology-transfer program in formal methods

Ricky W. Butler, James L. Caldwell, Victor A. Carreño et al. · 2002 · 38 citations

Computing, Aerospace Engineering, Computer Systems +13

High Level Design Proof of a Reliable Computing Platform

Ben L. DiVito, Ricky W. Butler, James L. Caldwell · 1991 · 23 citations

Computing, Computer Engineering, Computer Science +17

Moving proofs-as-programs into practice

James L. Caldwell · 2002 · 19 citations

Computing, Computer Science, Formal Methods +16

Design strategy for a formally verified reliable computing platform

Ricky W. Butler, James L. Caldwell, Ben L. Di Vito · 2002 · 17 citations

Engineering, Computer Engineering, Computer Science +11

FACE core environment: the model and its application in CAE/CAD tool development

Wayne D. Smith, Dave Duff, M. Dragomirecky et al. · 1989 · 16 citations

Computing, Computer Science, Computer-aided Design +10