K-Induction Based Verification of Real-Time Safety Critical Systems.

Tamás Tóth András Vörös István Majzik

Published in: DepCoS-RELCOMEX (2013)

Keyphrases

safety critical
formal methods
safety analysis
real time
fault tolerant
embedded systems
agent architecture
nuclear power plant
support systems
regulatory requirements
low cost
formal specification
knowledge based systems
adaptive systems
distributed systems
decision support
expert systems
reinforcement learning