RoboStar Technology: A Roboticist’s Toolbox for Combined Proof, Simulation, and Testing
Ana Cavalcanti, Will Barnett, James Baxter, Gustavo Carvalho, Madiel Conserva Filho, Alvaro Miyazawa, Pedro Ribeiro, Augusto Sampaio
Topics & Concepts
ToolboxComputer scienceDiagrammatic reasoningProgramming languageNotationCode (set theory)Code generationState (computer science)Domain (mathematical analysis)SoftwareSimulationControl engineeringSoftware engineeringEngineeringOperating systemMathematical analysisSet (abstract data type)Key (lock)ArithmeticMathematicsFormal Methods in VerificationModel-Driven Software Engineering TechniquesSoftware Testing and Debugging Techniques