!!
FLUENT Verification ProjectRegular Group Meeting
Attended by Chris W, Zhen, Thakur and Curtis
Agenda
- Thakur presented some updates on his work (link to his post). Analysis time improved in STAMINA by almost half. Improves runtime but not state space size.
- Zhen and Curtis discussed IP policies with Sandia. If Curtis contributes to the code base, it has to be run through Sandia's IP process.
- Thakur's idea: Can reduce state space size by adding properties into guards, which modifies the source to constrain the analysis. When property is satisfied, go to the absorbing state. This provides an assist to PRISM's early-termination behavior.
- Want to try running the RFB model in STORM. Need to install STORM and other tools on USU image so we have an updated tool environment.
