Re: [sc] B method and rail safety



Re: [sc] B method and rail safety

From: Martyn Thomas <martyn_at_xxxxxx>
Date: Sat, 29 Aug 2009 16:04:20 +0100
Message-ID: <4A994374.8010401@xxxxxx>
I suggest you look through the publications from the RODIN project.
http://rodin.cs.ncl.ac.uk/publications.htm

Regards

Martyn Thomas CBE FREng
http://www.thomas-associates.co.uk



paul cleary wrote:
> Can anybody advise on the use of B method (Clearsys) in rail control and safty context. How does this compare to other formal methods, such as Z.
>
>   
>
Received on Sat 29 Aug 2009 - 16:02:17 BST