Safety Analysis of Parameterised Networks with Non-Blocking Rendez-Vous.

Lucie Guillou Arnaud Sangnier Nathalie Sznajder

Published in: CoRR (2023)

Keyphrases

safety analysis
grand challenges
safety critical
nuclear power plant
symbolic model checking
control system
grand challenge
technology enhanced learning
real time
fault model
neural network
social network analysis
formal verification