Meeting 17-22102016 - Work plan and future work » History » Version 4

« Previous - Version 4/16 (diff) - Next » - Current version
Karine Even Mendoza, 20/10/2016 13:21

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

3. Theory aware MC for FunFrog + OpenSMT2

Tasks for OpenSMT2¶

Tasks for HiFrog¶

- Impliment the algorithm for explain the error trace (the paper Grigory sent several weeks ago)
- Debug of the error trace

Files (0)