Travelled to:1 × Italy
2 × Austria
Collaborated with:E.Rodríguez-Carbonell A.Rubio A.Oliveras K.Nimkar
Talks about:smt (2) constraint (1) polynomi (1) approach (1) generat (1) termin (1) invari (1) extens (1) prove (1) model (1)
Person: Daniel Larraz
DBLP: Larraz:Daniel
Contributed to:
2014
2014
2013Wrote 3 papers:
- CAV-2014-LarrazNORR #proving #using
- Proving Non-termination Using Max-SMT (DL, KN, AO, ERC, AR), pp. 779–796.
- SAT-2014-LarrazORR #constraints #polynomial
- Minimal-Model-Guided Approaches to Solving Polynomial Constraints and Extensions (DL, AO, ERC, AR), pp. 333–350.
- VMCAI-2013-LarrazRR #array #generative #invariant #smt
- SMT-Based Array Invariant Generation (DL, ERC, AR), pp. 169–188.