Regarding video lecture

Skip to first unread message

meena kumari

Aug 1, 2023, 3:18:06 AM8/1/23
to PRISM model checker
Hi teams

Please let me know if there are any video lectures available  for beginners.
I am a beginner and just start to work with prism tool.

Thanks and regards
Meena Kumari

Kaustabha Ray

Aug 1, 2023, 3:24:38 AM8/1/23
You will find some lectures on the theory behind probabilistic model checking here :

You received this message because you are subscribed to the Google Groups "PRISM model checker" group.
To unsubscribe from this group and stop receiving emails from it, send an email to
To view this discussion on the web, visit
Reply all
Reply to author
0 new messages