Upload
Featured Recent Articles Topics Login Upload

Search Results for ''

published presentations and documents on DocSlides.

Modular and Verified Automatic Program Repair
Modular and Verified Automatic Program Repair
by Muscleman
Francesco Logozzo. , Thomas Ball. RiSE - Microsoft...
A Certificate Infrastructure for Machine-Checked Proofs of
A Certificate Infrastructure for Machine-Checked Proofs of
by faustina-dinatale
Torben. . Amtoft. K. , . Josiah . Dodds. P. , . ...
Will future cars have formally verified powertrain control software?
Will future cars have formally verified powertrain control software?
by marina-yarberry
Jyotirmoy V. Deshmukh. (with Jim Kapinski, Xiaoqi...
Will future cars have formally verified powertrain control
Will future cars have formally verified powertrain control
by olivia-moreira
Jyotirmoy V. Deshmukh. (with Jim Kapinski, Xiaoqi...
Exploiting the complementarity
Exploiting the complementarity
by phoebe-click
s. tructure: stability analysis of contact dynami...