Ruth Hardy

Publication Activity (10 Years)

Years Active: 2003-2013
Publications (10 Years): 0

Top Topics

Theorem Proving

Automated Deduction

Parallel Search

Top Venues

Formal Aspects Comput.

Publications

Hanne Gottliebsen, Ruth Hardy, Olga Lightfoot, Ursula Martin
Applications of real number theorem proving in PVS. Formal Aspects Comput. 25 (6) (2013)
Ruth Hardy
Interactions Between PVS and Maple in Symbolic Analysis of Control Systems. Calculemus (2005)
Richard J. Boulton, Hanne Gottliebsen, Ruth Hardy, Tom Kelsey, Ursula Martin
Design Verification for Control Engineering. IFM (2004)
Richard J. Boulton, Ruth Hardy, Ursula Martin
A Hoare Logic for Single-Input Single-Output Continuous-Time Control Systems. HSCC (2003)