Formulating Requirements with FRET for PLCVerif

This report describes two months work on integrating PLCVerif and FRET. PLCVerif is a tool developed at CERN to formally verify PLC programs, while FRET is a tool for specification, formalization and validation of requirements in a user friendly way. PLCVerif already offers several user friendly pos...

Descripción completa

Detalles Bibliográficos
Autor principal: Adam, Zsofia
Lenguaje:eng
Publicado: 2022
Materias:
Engineering
Computing and Computers
Acceso en línea:http://cds.cern.ch/record/2826074

Ejemplares similares

Ejemplares similares