Integrating Formal Verification and Assurance: An Inspection Rover Case Study
Hamza Bourbouh, Marie Farrell, Anastasia Mavridou, Irfan Šljivo, Guillaume Brat, Louise A. Dennis, Michael Fisher
Topics & Concepts
Formal methodsFormal verificationComputer scienceFlexibility (engineering)Systems engineeringSoftware engineeringEngineeringProgramming languageMathematicsStatisticsSafety Systems Engineering in AutonomyFormal Methods in VerificationSoftware Reliability and Analysis Research