Florian Meßner

Publication Activity (10 Years)

Years Active: 2018-2019
Publications (10 Years): 2

Top Topics

Closed Form Solutions

Algebraic Equations

Top Venues

Publications

Florian Meßner, Christian Sternagel
nonreach - A Tool for Nonreachability Analysis. TACAS (1) (2019)
Florian Meßner, Julian Parsert, Jonas Schöpf, Christian Sternagel
A Formally Verified Solver for Homogeneous Linear Diophantine Equations. ITP (2018)