Travelled to:1 × France
1 × USA
Collaborated with:M.Wedler D.Stoffel W.Kunz O.Wienand E.Pavlenko A.Dreyer F.Seelisch
Talks about:algebra (2) data (2) arithmet (1) approach (1) problem (1) correct (1) boolean (1) solver (1) reason (1) comput (1)
Person: Gert-Martin Greuel
DBLP: Greuel:Gert=Martin
Contributed to:
2011
2008Wrote 2 papers:
- DATE-2011-PavlenkoWSKDSG #algebra #named #problem #reasoning #smt #verification
- STABLE: A new QF-BV SMT solver for hard verification problems combining Boolean reasoning with computer algebra (EP, MW, DS, WK, AD, FS, GMG), pp. 155–160.
- CAV-2008-WienandWSKG #algebra #approach #correctness #proving
- An Algebraic Approach for Proving Data Correctness in Arithmetic Data Paths (OW, MW, DS, WK, GMG), pp. 473–486.