Meeting 17-22102016 - Work plan and future work » History » Revision 5

« Previous | Revision 5/16 (diff) | Next »
Karine Even Mendoza, 20/10/2016 13:24

Meeting 17-22102016 - Work plan and future work¶

Future work:

1. Use incrementalitly of opensmt2 in hifrog

2. Fault explain/localize on the error trace

3. Theory aware MC for FunFrog + OpenSMT2

- Implement the algorithm for explain the error trace (the paper Grigory sent several weeks ago)

- Debug of the error trace

- Incrementality of solver: use pop during the verification process

Files (0)