Ideas on on-the-fly property monitoring to improve STAMINA

Zhen Zhang

Fri, 17 Jan 2020 10:53:36 -0700 last edited: Fri, 17 Jan 2020 11:27:58 -0700

!FLUENT Verification Project

I attached a draft describing an on-the-fly property monitoring technique using basic decision procedures. This could potentially further improve the performance of STAMINA. Feedback from you all is welcome. Also, I would not be surprised if the presented technique can be mapped to a SAT/SMT problem.

Chris Myers

Fri, 17 Jan 2020 22:44:43 -0700

Looks interesting. Look forward to hearing more about it when I return.

Zhen Zhang

Fri, 17 Jan 2020 23:04:50 -0700

@Chris Myers Sure. Once Brett finish benchmarking his improved STAMINA, I will discuss this with him and Riley. I think we still need to thoroughly check the termination condition, and also think about whether we can parallelize the decision procedures.