ROSMonitoring: A Runtime Verification Framework for ROS
Angelo Ferrando, Rafael C. Cardoso, Michael Fisher, Davide Ancona, Luca Franceschini, Viviana Mascardi
Topics & Concepts
Computer scienceSoftware portabilityToolchainRuntime verificationFormalism (music)Software engineeringArchitectureFormal verificationDistributed computingSoftwareModel checkingEmbedded systemProgramming languageMusicalVisual artsArtSoftware Testing and Debugging TechniquesFormal Methods in VerificationSoftware Reliability and Analysis Research