This site has been permanently archived. This is a static copy provided by the University of Southampton.

Industrial deployment of system engineering methods providing high dependability and productivity
 

Learning from experts to aid the automation of proof search.

Bundy, Alan and Grov, Gudmund and Jones, Cliff B (2009) Learning from experts to aid the automation of proof search. In: 9th International Workshop on Automated Verification of Critical Systems: AVoCS 2009. (In Press)

Full text not available from this repository.


Item Type:Conference or Workshop Item (Paper)
Subjects:Tool developments > Provers
Methodology
ID Code:179
Deposited By:Miss Jodi Hossbach
Deposited On:12 Jan 2010 10:11
Last Modified:12 Jan 2010 10:11

Repository Staff Only: item control page

Deploy Repository is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.

Deploy-Project - All right reserved