-
From imperative programs to equational logic for correctness verification
Omnipresence of computer systems in modern technological applications makes the question of their reliability essential. In this thesis, we investigate equational... -
Decidable Approximations of Sets of Descendants and Sets of Normal forms
Colloque avec actes et comité de lecture. -
SPIKEpar : une interface parallèle du démonstrateur automatique SPIKE
Colloque avec actes et comité de lecture. -
A Tool Support for Reusing ELAN Rule-Based Components
Colloque avec actes et comité de lecture. internationale.
