[ NASA Civil Servants | Home | Quick Page | What's New? | Quote | Feedback ]
James L. Caldwell
Research Interests
The application of formal methods to system verification. Provably correct approaches to digital design via synthesis and/or transformation based approaches. Verified decision procedures. Theorem proving and application of theorem provers to digital verification. Formal system modeling and requirements specification.
Work Biography
Education
Papers
Curator: James L. Caldwell (jlc@air16.LaRC.NASA.GOV)