|COOKIES: By using this website you agree that we can place Google Analytics Cookies on your device for performance monitoring.|
Work in progress: a prototype refactoring tool based on a mechanically-verified core
If you have a question about this talk, please contact William Denman.
This is a brief experience report on implementing a tiny refactoring tool around a verified core which has been generated using a theorem prover.
This talk is part of the Computer Laboratory Automated Reasoning Group Lunches series.
This talk is included in these lists:
Note that ex-directory lists are not shown.
Other listsMadingley Lectures Calais Migrant Solidarity Physics of Living Matter PLM6
Other talks"From trials evaluating drugs to trials evaluating treatment algorithms – Focus on the SHIVA trial " GSI Research Seminar Series - When and how will human society collapse? Are there limits to evolution? (Conference 25 & 26 September 2014) Parodia and Notocactus Inferno XVII, Purgatorio XVII, Paradiso XVII Modelling the Risks of Climate Change - Dr. Chris Hope