BRITISH COMPUTER SOCIETY FACS SPECIALIST GROUP
Formal Aspects of Computing Science
JavaScript is Disabled
If you prefer to leave JavaScript disabled, you can still access the information at this site by using the links in our
NON-JS MENU PAGE
. Sorry for any inconvenience.
Return to programme
Formal Methods - What difference does it make?
Colin O'Halloran
, QinetiQ
Abstract
In this talk I shall relate experiences in the industrial application of formal methods and what this means for the utility of formal methods and the direction of future research.
Formal Aspects of Computing Science
Copyright © BCS-FACS
Additional Keywords:
Formal Aspects of Computer Science, Formal Methods, Computer Science, Computing Science
