-
Harnessing SMT Solvers for TLA+ Proofs
International audience -
The invoice system problem in TLA+
Colloque avec actes et comité de lecture. -
Interprétation de spécifications temporelles à l'aide d'un outil de preuve
Colloque avec actes et comité de lecture. nationale. -
Abstract Animator for Temporal Specifications
Colloque sans acte à diffusion restreinte. -
Animating TLA Specifications
Colloque avec actes et comité de lecture. -
A Spatio-Temporal Logic for the Specification and Refinement of Mobile Systems
Colloque avec actes et comité de lecture. internationale. -
On the Logic of TLA+
Article dans revue scientifique avec comité de lecture. internationale.
