Industrial deployment of system engineering methods providing high dependability and productivity

 

Ideas for a high-level proof strategy language

Jones, Cliff B. and Grov, Gudmund and Bundy, Alan (2010) Ideas for a high-level proof strategy language. Technical Report. School of Computing Science, Newcastle University.

[img]
Preview
PDF
120Kb

Official URL: http://www.cs.ncl.ac.uk/publications/trs/papers/1210.pdf


Item Type:Monograph (Technical Report)
Subjects:Methodology > Proof and model checking
ID Code:280
Deposited By:Prof Cliff Jones
Deposited On:31 Jan 2011 17:19
Last Modified:31 Jan 2011 17:19

Repository Staff Only: item control page

Deploy-Project - All right reserved