RASWG Meeting #1 (new format)
Thursday 7 Oct 2021, 09:00
→
10:00
Europe/Zurich
211007_RASWG_minutes.pdf
1
Introduction to RASWG activities
Speakers
:
Andrea Apollonio
(
CERN
)
,
Benjamin Todd
(
CERN
)
,
Volker Schramm
(
CERN
)
RASWG_introduction_07102021.pdf
RASWG_introduction_07102021.pptx
2
Discussion on Formal Methods and Verification in the RASWG
Speakers
:
Borja Fernandez Adiego
(
CERN
)
,
Enrique Blanco Vinuela
(
CERN
)
,
Hamza Boukabache
(
CERN
)
a) Integration of the FMVWG (Formal Methods and Verification WG and the RASWG (Reliability and Availability Studies WG))
Speakers
:
Borja Fernandez Adiego
(
CERN
)
,
Enrique Blanco Vinuela
(
CERN
)
Integration of the FMVWG and the RASWG + PLCverif.pdf
Integration of the FMVWG and the RASWG + PLCverif.pptx
b) Simulation & Formal Property Verification : Application to complex highly-parametrizable, continuously operating PLDs
Speaker
:
Hamza Boukabache
(
CERN
)
Simulation-VS-Functional_Verification_of_CROME.pdf