Login / Signup
Formal Model-Based Assurance Cases in Isabelle/SACM: An Autonomous Underwater Vehicle Case Study.
Simon Foster
Yakoub Nemouchi
Colin O'Halloran
Karen Stephenson
Nick Tudor
Published in:
FormaliSE@ICSE (2020)
Keyphrases
</>
case study
autonomous underwater vehicle
theorem prover
software development
lessons learned
real time
databases
real world
information retrieval
formal model
database
data sets
machine learning
social networks
path planning