Halfway Generic Verification of Railway Control Systems.

Gustav Zickert Nikitas Stathatos

Published in: RSSRail (2023)

Keyphrases

control system
concurrent systems
model checking
domain specific
industrial automation
safety analysis
formal analysis
neural network
similarity measure
high level
website
closed loop
control algorithm
information systems
formal verification
information retrieval
real time