Using Event-B for Critical Device Software Systems
Neeraj Kumar Singh
Defining a new development life-cycle methodology, together with a set of associated techniques and tools to develop highly critical systems using formal techniques, this book adopts a rigorous safety assessment approach explored via ...