Sign in
Integrating Formal Verification and Assurance: An Inspection Rover Case Study.
Hamza Bourbouh
Marie Farrell
Anastasia Mavridou
Irfan Sljivo
Guillaume Brat
Louise A. Dennis
Michael Fisher
Published in:
NFM (2021)
Keyphrases
</>
formal verification
case study
model checking
model checker
symbolic model checking
bounded model checking
automated verification
visual inspection
real world
stereo vision
information security
temporal logic
defect detection
human robot interaction
lessons learned
path planning
software development