1 paper · 1 filter
Elisabetta De Maria, Joelle Despeyroux, Amy Felty
We propose a novel approach for the formal verification of biological systems based on the use of a modal linear logic. We show how such a logic can be used, with worlds as instant…