Integrated Formal Methods for Constructing Assurance Cases.

Carmen Cârlan Tewodros A. Beyene Harald Ruess

Published in: ISSRE Workshops (2016)

Keyphrases

formal methods
model checking
artificial intelligence
knowledge based systems
formal analysis
model checker
safety critical
provably correct
formal specification
process algebra
software engineering
case base
real world
information security
access control