Alvis models of safety critical systems state-base verification with nuXmv.

Jerzy Biernacki

Published in: FedCSIS (2016)

Keyphrases

safety critical
formal methods
safety analysis
fault tolerant
nuclear power plant
embedded systems
finite state machines
support systems
expert systems
model checking
agent architecture
user interface
information systems
knowledge based systems