Travelled to:1 × Canada
1 × Denmark
Collaborated with:G.C.Necula
Talks about:trustworthi (1) framework (1) approach (1) untrust (1) scalabl (1) gradual (1) generat (1) condit (1) verif (1) sound (1)
Person: Robert R. Schneck
DBLP: Schneck:Robert_R=
Contributed to:
2003
2002Wrote 2 papers:
- LICS-2003-NeculaS #framework #generative
- A Sound Framework for Untrusted Verification-Condition Generators (GCN, RRS), pp. 248–260.
- CADE-2002-SchneckN #approach #scalability
- A Gradual Approach to a More Trustworthy, Yet Scalable, Proof-Carrying Code (RRS, GCN), pp. 47–62.