2.01 - Introduction to Practical Work

Update: 2014-10-08

Description

This short session is an introduction to practicals with the CosyVerif verification platform. It briefly introduces the underlying principles, the technical requirements for the installation, which are necessary to do the exercises.

Comments

In Channel

3.11 - Second Example of SNB

2014-10-0815:59

3.10 - Functions Used in SBN and Firing Rule

2014-10-0808:48

3.09 - Symmetric Nets with Bags

2014-10-0809:13

3.08 - SN and Partial Symmetries

2014-10-0809:26

3.07 - Static Subclasses

2014-10-0811:38

3.06 - The Symbolic Reachability Graph

2014-10-0808:18

3.05 - Symbolic Firing Rule

2014-10-0803:47

3.04 - Dynamic Subclasses and Symbolic Markings

2014-10-0806:54

3.03 - Symmetries to Reduce the Reachability Graph of SN

2014-10-0810:11

3.02 - Global vs Local Symmetries

2014-10-0809:33

3.01 - Opening

2014-10-0800:58

2.01 - Introduction to Practical Work

2014-10-0811:59

1.07 - CTL properties

2014-10-0814:16

1.06 - LTL properties

2014-10-0811:46

1.05 - The reachability graph for SN analysis

2014-10-0812:31

1.04 - Modelling with Symmetric Nets

2014-10-0807:27

1.03 - Syntax and semantics of SN

2014-10-0822:50

1.02 - Introduction

2014-10-0814:58

1.01 - Opening

2014-10-0802:21

00:00

1.0x

2.01 - Introduction to Practical Work

#box-pro-ellipsis-175849219194588{-webkit-line-clamp:2;}2.01 - Introduction to Practical Work

2.01 - Introduction to Practical Work

Fabrice Kordon

2.01 - Introduction to Practical Work