-
An assertions-based approach to verifying the absence property pattern
International audience -
Modeling periodic composite events, temporal properties and relations
Modelling events with their temporal properties concerns many users and scientific communities. We adopted the Object paradigm and designed an operational metamodel... -
A Logical Framework for Systems Biology
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...
