Chemical Case Studies in KeYmaera X

Rose Bohrer

Safety-critical chemical processes are the backbone of multi-billion-dollar industries, thus society deserves the strongest possible guarantees that they are safe. To that end, mod…