GROZA, Adrian; LETIA, Ioan Alfred; GORON, Anca; ZAPOROJAN, Sergiu
(Springer Nature Switzerland, 2015)
While formal methods have proved to be unfeasible for large scale systems, argument-based safety cases offer a plausible alternative basis for certification of critical software. Our proposed method for increasing safety ...