Travelled to:1 × Canada
1 × Greece
Collaborated with:∅ D.S.Hardin D.A.Greve
Talks about:verifi (2) mechan (2) transform (1) theorem (1) schedul (1) environ (1) concept (1) vehicl (1) prover (1) polici (1)
Person: Matthew Wilding
DBLP: Wilding:Matthew
Contributed to:
19981993Wrote 3 papers:
- 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.
- CAV-1998-Wilding #policy #proving #realtime #scheduling
- A Machine-Checked Proof of the Optimality of a Real-Time Scheduling Policy (MW), pp. 369–378.
- CAV-1993-Wilding
- A Mechanically Verified Application for a Mechanically Verified Environment (MW), pp. 268–279.