Travelled to:1 × Canada
1 × Estonia
1 × USA
Collaborated with:K.Slind M.W.Whalen T.Pham M.Wilding D.A.Greve
Talks about:transform (1) theorem (1) languag (1) guardol (1) concept (1) vehicl (1) system (1) prover (1) domain (1) design (1)
Person: David S. Hardin
DBLP: Hardin:David_S=
Contributed to:
2012
2012
1998Wrote 3 papers:
- HILT-2012-HardinSWP #domain-specific language #security
- A DSL for cross-domain security (DSH, KS, MWW, THP), pp. 53–62.
- TACAS-2012-HardinSWP #verification
- The Guardol Language and Verification System (DSH, KS, MWW, THP), pp. 18–32.
- CAV-1998-HardinWG #concept #design #proving #theorem proving
- Transforming the Theorem Prover into a Digital Design Tool: From Concept Car to Off-Road Vehicle (DSH, MW, DAG), pp. 39–44.