Towards an Efficient Verification Method for Monotonicity Properties of Chemical Reaction Networks Topics: Formal Verification of Biological Systems; Simulation and Modeling; Systems Biology In Proceedings of the 12th International Joint Conference on Biomedical Engineering Systems and Technologies - Volume 3: BIOSTEC, 250-257, 2019 , Prague, Czech Republic