# Analysis and formal verification of Finite State Machine from WinCC OA

- Institution: CERN
- Department: CERN openlab Summer Student programme 2016
- Speaker: Francesca Cecilia Schiavi
- Year: 2016
- Language: English
- Subjects: Mathematics
- Source: [CERN](https://videos.cern.ch/record/3007053)
- Licence: [CERN](http://copyright.web.cern.ch)
- Who can watch: Tweens profiles and older (sources give no ratings; placed by Invisible Network from the source's own words)

Analysis and formal verification of Finite State Machine from WinCC OA.

0:00:00 Slide 1

0:00:05 Slide 2

0:00:22 Slide 3

0:00:46 Slide 4

0:01:09 Slide 5

0:01:19 Slide 6

0:01:34 Slide 7

0:01:40 Slide 8

0:01:51 Slide 9

0:02:27 Slide 10

0:03:19 Slide 11

0:04:00 Slide 12

## Lectures

1. [Analysis and formal verification of Finite State Machine from WinCC OA](https://invisiblenetwork.ai/learn/cern/3007053/c1d4ca99cb16), 5 min (CERN's player)