Case Study: Safety Verification of an Unmanned Underwater Vehicle.
Diego Manzanas LopezPatrick MusauNathaniel HamiltonHoang-Dung TranTaylor T. JohnsonPublished in: SP Workshops (2020)
Keyphrases
- underwater vehicles
- case study
- fault identification
- computer simulation
- safety analysis
- model checking
- real world
- mathematical models
- lessons learned
- verification method
- functional verification
- software development
- knowledge management
- face verification
- formal methods
- person identification
- fuzzy logic
- nuclear power plant
- concurrent systems
- control system
- expert systems
- multi agent
- website