-
Schematic calculi for the analysis of decision procedures
In this thesis we address problems related to the verification of software-based systems. We are mostly interested in the (safe) design of decision procedures used in... -
Integrating decision procedures in Spike
Rapport interne. -
A Simple Constraint-solving Decision Procedure for Protocols with Exclusive or
Colloque avec actes et comité de lecture. internationale.
