Systemvariabilität bewältigen
Neue Plattformvarianten-Spezifikation für die Systemverifikation
Um die zunehmende Systemvariabilität zu meistern, hat das Forschungszentrum Informatik am Karlsruher Institut für Technologie ein Spezifikationskonzept entwickelt, das auf Constraints beruht. Welche Vorteile diese Methodik mit sich bringt, zeigt das…