Meeting 17-22102016 - Work plan and future work » History » Version 2
Version 1 (Karine Even Mendoza, 20/10/2016 13:17) → Version 2/16 (Karine Even Mendoza, 20/10/2016 13:18)
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 000
Future work:
1. Use increamntality of opensmt2 in hifrog
2. Fault explain/localize on the error trace 000