Meeting 17-22102016 - Work plan and future work » History » Version 3
Version 2 (Karine Even Mendoza, 20/10/2016 13:18) → Version 3/16 (Karine Even Mendoza, 20/10/2016 13:20)
h1. Meeting 17-22102016 - Work plan and future work
Future work:
1. Use increamntality of opensmt2 in hifrog
2. Fault explain/localize on the error trace
h3. Tasks for OpenSMT2
h3. Tasks for HiFrog
- Impliment the algorithm for explain the error trace (the paper Grigory sent several weeks ago)
- Debug of the error trace
Future work:
1. Use increamntality of opensmt2 in hifrog
2. Fault explain/localize on the error trace
h3. Tasks for OpenSMT2
h3. Tasks for HiFrog
- Impliment the algorithm for explain the error trace (the paper Grigory sent several weeks ago)
- Debug of the error trace