Formal Methods and Tools Applied in the Railway Domain.

Maurice H. ter Beek

Published in: ABZ (2024)

Keyphrases

formal methods
safety critical
provably correct
process algebra
domain independent
knowledge base
software engineering
formal analysis
data mining
information systems
end users
knowledge acquisition
process model
model checking
formal specification
reactive systems