basic project on model checking

[Vidyasagar Tandle]

hi ,can anyone post some basic project or small problem that i can solve using PRISM as a biginer.

[Muhammad Usama Sardar]

Hi Vidyasagar,

The best thing is to start with the manual: 

http://www.prismmodelchecker.org/manual/Main/AllOnOnePage

Many projects are available as case studies on this link: 

http://www.prismmodelchecker.org/casestudies/index.php

[Vidyasagar Tandle]

hi ,how do i install PRISM GUI on the ubuntu?

--
You received this message because you are subscribed to a topic in the Google Groups "PRISM model checker" group.
To unsubscribe from this topic, visit https://groups.google.com/d/topic/prismmodelchecker/ldorA7UwDsI/unsubscribe.
To unsubscribe from this group and all its topics, send an email to prismmodelchecker+unsubscribe@googlegroups.com.
To post to this group, send email to prismmodelchecker@googlegroups.com.
Visit this group at https://groups.google.com/group/prismmodelchecker.
For more options, visit https://groups.google.com/d/optout.

[Gethin Norman]

Installation instructions are available from:

http://www.prismmodelchecker.org/manual/InstallingPRISM/Instructions

thanks

Gethin

> On 10 Feb 2017, at 00:17, Vidyasagar Tandle <vvtand...@gmail.com> wrote:
>
> hi ,how do i install PRISM GUI on the ubuntu?
>
> On Mon, Feb 6, 2017 at 4:25 AM, 'Muhammad Usama Sardar' via PRISM model checker <prismmod...@googlegroups.com> wrote:
> Hi Vidyasagar,
> The best thing is to start with the manual:
> http://www.prismmodelchecker.org/manual/Main/AllOnOnePage
>
> Many projects are available as case studies on this link:
> http://www.prismmodelchecker.org/casestudies/index.php
>
>
> On Sunday, February 5, 2017 at 7:13:46 PM UTC+5, Vidyasagar Tandle wrote:
> hi ,can anyone post some basic project or small problem that i can solve using PRISM as a biginer.
>
> --
> You received this message because you are subscribed to a topic in the Google Groups "PRISM model checker" group.
> To unsubscribe from this topic, visit https://groups.google.com/d/topic/prismmodelchecker/ldorA7UwDsI/unsubscribe.

> To unsubscribe from this group and all its topics, send an email to prismmodelchec...@googlegroups.com.
> To post to this group, send email to prismmod...@googlegroups.com.

> Visit this group at https://groups.google.com/group/prismmodelchecker.
> For more options, visit https://groups.google.com/d/optout.
>
>

> --
> 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 post to this group, send email to prismmod...@googlegroups.com.