ChemStor: Using Formal Methods To Guarantee Safe Storage and Disposal of Chemicals.
Jason OttDaniel TanTyson LovelessWilliam H. GroverPhilip BriskPublished in: J. Chem. Inf. Model. (2020)
Keyphrases
- formal methods
- formal analysis
- model checking
- model checker
- safety critical
- formal specification
- artificial intelligence
- knowledge based systems
- data storage
- provably correct
- software engineering
- process algebra
- temporal properties
- development lifecycle
- security properties
- fine grained
- modeling language
- knowledge management