PPT-Automated functional program verification using
Automated functional program verification using fixpoint fusion William Sonnex University of Cambridge Imperial College at heart Proof by simplification Start with
Download Presentation
Download Note : "Automated functional program verification using" is the property of its rightful owner. Permission is granted to download and print materials on this website for personal, non-commercial use only, provided you retain all copyright notices. By downloading content from our website, you accept the terms of this agreement.
Presentation Transcript
Transcript not available.