!
FLUENT Verification ProjectRegular Group MeetingAttending: Zhen, Brett, Lukas, Riley
AgendaWe had a short meeting today.
1. Updates from Lukas: downloaded and ran PRISM and STAMINA but got errors in running STAMINA. It could be due to missing path declaration for PRISM_HOME. He will coordinate with Brett and Zhen to fix the issues.
2. Updates from Brett: started to benchmark his improvement on STAMINA but experienced out-of-memory issues on the Jackson queueing network example. He will increase the default heap size and gather results.
3. Updates from Riley: started to look at STORM's code by following Tim's email. He will try to first get STORM to compile and run.
4. Updates from Zhen: shared a new idea on closely monitoring property checking in STAMINA. The basic idea is to split the previously single absorbing states into three separate ones to collect the success, failure, and unknown probabilities. They will then be used in a basic decision procedure to enable early determination of property verification. See the "Ideas on on-the-fly property monitoring to improve STAMINA" post for detailed algorithm sketch.
#
meetings
