|![[Search]](http://talks.cam.ac.uk/images/search.gif?1209136071)
|![[A-Z Index]](http://talks.cam.ac.uk/images/az.gif?1209136071)
|![[Contact]](http://talks.cam.ac.uk/images/contact.gif?1209136071)
||![[University of Cambridge]](http://talks.cam.ac.uk/images/identifier2.gif?1209136071){kind=small} |
COOKIES: By using this website you agree that we can place Google Analytics Cookies on your device for performance monitoring. | ![[Talks.cam]](http://talks.cam.ac.uk/images/talkslogosmall.gif?1209136071) |
University of Cambridge > Talks.cam > Isaac Newton Institute Seminar Series > N things I learned trying to do formal methods in industry
N things I learned trying to do formal methods in industryAdd to your list(s) Download to your calendar using vCal
If you have a question about this talk, please contact nobody. BSPW01 - Big Specification: Specification, Proof, and Testing at Scale This talk is part of the Isaac Newton Institute Seminar Series series. This talk is included in these lists:
Note that ex-directory lists are not shown. |
Other listsPhonetics & Phonology Research Cluster Cambridge Global Food Security IRC kuknusOther talksResults of beamline testing at the MROI Group Work Executable specification of a production hypervisor: hypercalls and TLB management discipline Coarse Curvature Operator Algebras Absolutely dilatable module maps |
Mike Dodds (Galois, Inc.)
Tuesday 08 October 2024, 16:00-16:45