VeryfNamic provides multiple models (as shown in the formula below) to handle various complex types of reactions.


By selecting the appropriate model in the software, the corresponding issues can be addressed:
Formal Model
• The formal model is based on the assumption that the conversion rate is the state variable of the reaction system.
• Particularly useful in studying reactions of insoluble substances, secondary reactions triggered at high temperatures under unexpected conditions, etc.
• The formal model can represent complex multistage reactions, which may include several independent, parallel, and consecutive stages.
• It is almost exclusively applied in the field of thermal analysis. In reaction hazard assessment, the formal model can be successfully used for:
- Analysis of product thermal stability and determination of reactivity hazard indicators.
- Simulation of runaway reactions in batch reactors.
- Simulation of thermal explosions in solids, used for hazard assessment related to storage and transportation.
• It can also be used to simulate thermal explosions in liquids or runaway simulations combined with vent sizing.