Regarding video lecture

17 views
Skip to first unread message

meena kumari

unread,
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

unread,
Aug 1, 2023, 3:24:38 AM8/1/23
to prismmod...@googlegroups.com
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 prismmodelchec...@googlegroups.com.
To view this discussion on the web, visit https://groups.google.com/d/msgid/prismmodelchecker/8f724f23-3c53-4bf5-9e9a-a61bc91adfabn%40googlegroups.com.
Reply all
Reply to author
Forward
0 new messages