Articles & News


The system automatically shut down following a communications fault, Transport for Greater Manchester said.  The fault was fixed shortly after m...

[Read the rest of this article...]

Sector: Rail
On the morning of 12th of April 2011 at 0740, a problem at one of the signal boxes at the New South Wales (NSW) RailCorp's Sydenham Adv...

[Read the rest of this article...]

Sector: Rail

D-RisQ Limited

Malvern Hills Science Park

Geraldine Road
United Kingdom
WR14 3SZ
+44(0)1684 252452

Company Number: 7754903

What we do?

With a wide experience in analysis of complex systems and software across many sectors ranging from embedded systems to IT, safety and security critical systems, automotive, aerospace, robotics and many others, D-RisQ has developed huge experience from which to build automated formal analysis tools.

Learn more