Oliver Marx

According to our database, Oliver Marx authored at least 2 papers between 2013 and 2016.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2016

A computer-algebraic approach to formal verification of data-centric low-level software.

Oliver Marx, Carlos Villarraga, Dominik Stoffel, Wolfgang Kunz

Proceedings of the 2016 ACM/IEEE International Conference on Formal Methods and Models for System Design, 2016

2013

Proof Logging for Computer Algebra based SMT Solving.

Oliver Marx, Markus Wedler, Dominik Stoffel, Wolfgang Kunz, Alexander Dreyer

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2013