A Formal Model of the Safety-Critical Java Level 2 Paradigm.

Matt Luckcuck Ana Cavalcanti Andy J. Wellings

Published in: CoRR (2018)

Keyphrases

formal model
safety critical
fault tolerant
embedded systems
safety analysis
open source
formal methods
security properties
nuclear power plant
management system
source code
user interaction
security patterns
regulatory requirements