Stephan Merz | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Featured Co-authors

Ran Chen
10 publications
Laurent Théry
6 publications
Igor Konnov
6 publications
Cyril Cohen
2 publications
Jean-Jacques Levy
1 publication
Markus Kuppe
1 publication

research

∙ 11/14/2022

Specification and Verification with the TLA+ Trifecta: TLC, Apalache, and TLAPS

Using an algorithm due to Safra for distributed termination detection as...

0 Igor Konnov, et al. ∙

research

∙ 10/29/2018

Formal Proofs of Tarjan's Algorithm in Why3, Coq, and Isabelle

Comparing provers on a formalization of the same problem is always a val...

0 Ran Chen, et al. ∙

Success!

An error occurred