Embedding Online Runtime Verification for Fault Disambiguation on Robonaut2
Brian Kempa, Pei Zhang, Phillip H. Jones, Joseph Zambreno, Kristin Yvonne Rozier
Topics & Concepts
Computer scienceCorrectnessDebuggingRuntime verificationFuzz testingTemporal logicReal-time computingEmbedded systemLinear temporal logicProcess (computing)Model checkingFormal verificationDistributed computingProgramming languageSoftwareFormal Methods in VerificationReal-Time Systems SchedulingSafety Systems Engineering in Autonomy