-
Towards a Rule-level Verification Framework for Property-Preserving Graph Tra...
International audience -
A list-machine benchmark for mechanized metatheory
Projet GALLIUM -
Semantics-Based Testing for Circus
The work presented in this thesis is a contribution to formal specification and verification methods. Formal specifications are used to describe a software, or more... -
Towards a Formalisation of Graph Transformations in Proof Assistants
This paper takes first steps towards a formalization of graph transformations in a general setting of interactive theorem provers, which will form the basis for proofs... -
The Circus Testing Theory Revisited in Isabelle/HOL
International audience -
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... -
Using Larch to specify the Behavior of Objects in Open Distributed Environments
Colloque avec actes et comité de lecture. -
Automated Deduction Techniques for Studying Rough Algebras
Article dans revue scientifique avec comité de lecture. -
Vérification des Systèmes Réactifs Dans le Modèle Synchrone
Stage de DEA. Rapport de stage. -
A Methodological View of Constraint Solving
Article dans revue scientifique avec comité de lecture. -
Specification and Proof in Membership Equational Logic
International audience -
Position statement: Inference in Question Answering
Colloque avec actes et comité de lecture. internationale. -
4th International Workshop on First-Order Theorem Proving- FTP'2003
Ouvrage (éditeur).
