…oss large regions of Canada. Hide 26 Nov 2025 The Chemical Mechanism Integrator Cminor v1.0: a stand-alone Fortran environment for the particle-based simulation of chemical multiphase mechanisms Levin Rug, Willi Schimmel, Fabian Hoffmann, and Oswald Knoth Geosci. Model Dev., 18, …

…ppel/papers/septacs.pdf Appel, A.W., Blazy, S.: Separation Logic for Small-Step Cminor. In: Schneider, K., Brandt, J. (eds.) TPHOLs 2007. LNCS, vol. 4732, pp. 5–21. Springer, Heidelberg (2007) Chapter Google Scholar Chlipala, A.: Mostly-automated verification of low-level program…