Oliver Marx

Publication Activity (10 Years)

Years Active: 2013-2016
Publications (10 Years): 1

Top Topics

Automated Theorem Provers

Solving Problems

Formal Verification

Computer Algebra

Top Venues

Publications

Oliver Marx, Carlos Villarraga, Dominik Stoffel, Wolfgang Kunz
A computer-algebraic approach to formal verification of data-centric low-level software. MEMOCODE (2016)
Oliver Marx, Markus Wedler, Dominik Stoffel, Wolfgang Kunz, Alexander Dreyer
Proof Logging for Computer Algebra based SMT Solving. MBMV (2013)
Oliver Marx, Markus Wedler, Dominik Stoffel, Wolfgang Kunz, Alexander Dreyer
Proof logging for computer algebra based SMT solving. ICCAD (2013)