Weekly Meeting Apr 10, 2020

Winstead via FLUENT Verification Project

Fri, 10 Apr 2020 12:01:46 -0600

!FLUENT Verification Project

Teleconference Meeting

Attending: Chris M, Hao, Zhen, Chris W, Mohammad, Brett, Lukas, Tom, Curtis, Riley

Agenda

PRISM tutorial from Mohammad
Will go back to research updates next week
Going to post or make more basic tutorials on:
- Set theory
- Propositional logic
- Formal syntax
- Mappings, tuples, matrices
- maybe other topics

#meetings #tutorials #PRISM #Markov #DTMC #CTMC

meetings

Zhen Zhang

Sat, 11 Apr 2020 12:06:02 -0600

Porter joined the meeting, too.