| BRITISH COMPUTER SOCIETY FACS SPECIALIST GROUP |
|
|
Formal Aspects of Computing Science
BCS-FACS Evening Seminar Series
What Can We Expect From Program Verification?
Professor Michael JacksonOpen University and Consultant
7 February 2007
5.45pmBCS London Offices
First Floor, The Davidson Building
|
|
The admirable ambition to prove programs correct assumes the existence
of a formalprogram specification, which is distinct from a formal ---or
informal---statement of system requirements. In some systems the
necessarily non-formal nature of the physical and human world, where
the software is required to achieve its effects, may make a
formal specification very hard, or even impossible, to obtain. A narrow
view of the nature and goals of program verification is therefore often
less useful. But a broader view brings into focus a number of larger
possibilities and, with them, larger opportunities for deploying the
reasoning and proving power of verification tools.
Refreshments will be served from 5.15pm The seminar is free of charge and open to everyone. If you would like to attend, please email Paul Boca your name by 5 February 2007. Pre-registration is required, as security at the BCS Offices is tight. |
| Formal Aspects of Computing Science |
|
Copyright © BCS-FACS |
