Travelled to:1 × USA
1 × United Kingdom
Collaborated with:∅ J.Carlton
Talks about:program (1) reason (1) verif (1) spark (1) autom (1) safe (1) made (1) use (1) can (1) be (1)
Person: David Crocker
DBLP: Crocker:David
Contributed to:
2014
2007Wrote 2 papers:
- HILT-2014-Crocker #c++ #question
- Can C++ be made as safe as SPARK? (DC), pp. 5–12.
- SEFM-2007-CrockerC #automation #c #reasoning #source code #using #verification
- Verification of C Programs Using Automated Reasoning (DC, JC), pp. 7–14.