ChemStor: Using Formal Methods To Guarantee Safe Storage and Disposal of Chemicals.

While safe chemical storage and disposal are simple in principle-users should read safety specifications and place chemicals in appropriate cabinets or collection points-high-profile incidents involving improper storage and disposal of chemicals continue to occur. This paper introduces ChemStor, an open-source, automated computational system that can guarantee (mathematically verify a system is correct with respect to its specification), with regard to prescribed constraints, safe storage and disposal of chemicals used in academic, industrial, and domestic settings. ChemStor borrows concepts from formal methods-a branch of computer science capable of mathematically proving a specification or software is correct-to safely store or dispose of chemicals.