Wir bei RDS (Research and Development for Software Verification and Validation) entwickeln Werkzeuge und Techniken zur Steigerung der Produktivität von Softwareentwicklern – insbesondere in stark regulierten Branchen. Unsere Hauptthemen sind dabei a…