Login / Signup
FPTC: Automated Safety Analysis for Domain-Specific Languages.
Richard F. Paige
Louis M. Rose
Xiaocheng Ge
Dimitrios S. Kolovos
Phillip J. Brooke
Published in:
MoDELS (Workshops) (2008)
Keyphrases
</>
safety analysis
nuclear power plant
control system
safety critical
fault model
symbolic model checking
domain specific languages
programming language
database
general purpose
fault tolerant
medical data
reliability analysis