Workshop Tutorial Day: Jun 5, 2020

Winstead via FLUENT Verification Project

Fri, 05 Jun 2020 13:58:18 -0600

!FLUENT Verification Project

Virtual workshop started at 10AM ET.

Attending: Chris M, Zhen, Hao, Chris W, Lukas, Pedro, Nisa, Trent, Laureano, Payton, Tom, Porter, Mohammad,

Tutorials:

Chris W: Measure Theory
Zhen: Probabilistic Model Checking
Hao: Bounded Model Checking
Chris M: Formal Verification in Synthetic Biology

Slides to be posted on this site and also on Zotero.

#tutorials #workshop #meetings #ModelChecking #MeasureTheory #BoundedModelChecking

meetings workshop

show all 4 comments

Zhen Zhang

Sun, 07 Jun 2020 11:04:47 -0600

Hi @Winstead. I kept getting the following error when opening your tutorial PDF: The file “Measure Theory Tutorial.pdf” could not be opened because it is empty.

Winstead

Mon, 08 Jun 2020 14:11:11 -0600

This link should work: Measure Theory Tutorial

Zhen Zhang

Mon, 08 Jun 2020 14:14:23 -0600

Thanks. Yes, I was able to download them.