Invariant-oriented verification of HDL-based safety critical systems.

Vyacheslav S. Kharchenko Boris Konorev Vladimir V. Sklyar L. Reva

Published in: EWDTS (2013)

Keyphrases

safety critical
formal methods
safety analysis
embedded systems
nuclear power plant
agent architecture
real time
data mining
management system
software engineering
fault tolerant
support systems
artificial intelligence
learning environment
distributed systems
adaptive systems