Dr. Sue Black (at London South Bank University) and I are considering a
study of impact analysis for software developed using formal methods
(compared with traditional techniques). We have a tool that can assess C
code and we are looking for formal methods development examples where C code
was produced. This is a request for any such code that we could use as input
to the tool, especially for a real industrial example if possible, although
any example or pointers would be welcome. We can treat the code or any other
information as confidential if necessary, although we are looking to publish
the results eventually in some form, anonymised suitably if necessary.
Many thanks to anyone who can provide any help.
Jonathan Bowen
--
Prof Jonathan Bowen, Professor of Computing
Institute for Computing Research, London South Bank University
Faculty of BCIM, Borough Road, London SE1 0AA, UK
Tel: +44 (0)20 7815 7462
Email: [log in to unmask] URL: www.jpbowen.com
|