Interpolation and Model Checking for Nonlinear Arithmetic

von Jovanović, Dejan
Veröffentlicht in CAV (33. : 2021 : Online) Computer aided verification ; Part 2 (2021)

Control of polynomial dynamic systems : an example

von Dutertre, Bruno
Veröffentlicht 1994

Control of polynomial dynamic systems : an example

von Dutertre, Bruno
Veröffentlicht 1994

Description et simulation d'un systeme de contrôle de passage a niveau en signal

von Dutertre, Bruno
Veröffentlicht 1991

Solving Bitvectors with MCSAT: Explanations from Bits and Pieces

von Graham-Lengrand, Stephane
Veröffentlicht in IJCAR (10. : 2020 : Online) Automated reasoning ; Part 1 (2020)

Verification of an Optimized NTT Algorithm

von Navas, Jorge A.
Veröffentlicht in VSTTE (12. : 2020 : Online) Software verification (2020)