Compositional safety analysis using barrier certificates.

Christoffer Sloth George J. Pappas Rafael Wisniewski

Published in: HSCC (2012)

Keyphrases

safety analysis
nuclear power plant
control system
safety critical
symbolic model checking
fault model
public key
model checking
reliability analysis
fault tolerant
real time
decision making
heuristic search
formal methods