Towards a hybrid formal analysis technique for safety-critical software architectures

Given the catastrophic damage that bugs in critical systems can inflict on human life and its socio-economic environment, the use of rigorous analysis techniques while developing such systems is ge...