Metadata
Author: cordis
Data
German[de]
Der restriktionsbasierte statische Analysator stellt eine sichere Grundlage für die Untersuchung von Java-Komponenten und -Schnittstellen zur Verfügung und analysiert in Verbindung mit einer modularen Verifikationstechnik Java-Programmfragmente.
English[en]
Providing a secure basis for studying Java components and interfaces, the constraint-based static analyser coupled with a modular verification technique analyses fragments of Java programs.
Spanish[es]
Con una base segura para estudiar las interfaces y los componentes Java, el analizador estático basado en restricciones, junto con una técnica de verificación modular, analiza fragmentos de programas Java.
French[fr]
Tout en offrant une base sécurisée pour l'étude des composants et interfaces Java, l'analyseur statique orienté contraintes associé à une technique de vérification modulaire analyse des fragments de programmes Java.
Italian[it]
Offrendo una base sicura per lo studio dei componenti Java e delle interfacce, l'analizzatore statico basato sui limiti è stato abbinato a una tecnica di verifica modulare per l'analisi dei frammenti di programmi Java.