Login / Signup
Verification by Way of Refinement: A Case Study in the Use of Coq and TLA in the Design of a Safety Critical System.
Philip Johnson-Freyd
Geoffrey C. Hulette
Zena M. Ariola
Published in:
FMICS-AVoCS (2016)
Keyphrases
</>
formal methods
safety critical
case study
model checking
safety analysis
embedded systems
nuclear power plant
temporal logic
formal verification
artificial intelligence
decision making
data mining
user interface
software engineering
peer to peer
knowledge based systems