Vertaling van "AbsInt" in Engels
We konden deze vermelding niet vinden. Er worden benaderende resultaten weergegeven. Controleer je spelling of stel voor deze term aan het woordenboek toe te voegen.
AbsInt entwickelt Werkzeuge zum Validieren, Verifizieren und Zertifizieren von sicherheitskritischer eingebetteter Software.
AbsInt develops tools for validating, verifying and certifying safety-critical embedded software.
AbsInt, der weltweit führende Anbieter von Tools zur Analyse von sicherheitskritischer Software, stellt zwei neue Produktlinien vor.
AbsInt, a worldwide leading manufacturer of program analysis tools for safety-critical software, today has launched two new product lines.
AbsInt bietet innovative Tools und Dienstleistungen für eingebettete Software mit Schwerpunkt auf Validierung, Verifikation und Zertifizierung von Software.
AbsInt provides advanced tools and services for embedded systems with a focus on software validation, verification, and certification.
AbsInt wurde 1998 gegründet und feiert dieses Jahr seinen 20. Geburtstag.
AbsInt, founded in 1998, celebrates its 20th anniversary this year.
AbsInt bietet Software zur Analyse, Optimierung und Verifikation von eingebetteten Systemen und sicherheitskritischen Softwareprogrammen an.
AbsInt provides advanced development tools for embedded systems, and tools for validation, verification and certification of safety-critical software.
AbsInt wurde 1998 als Spin-Off der Universität des Saarlandes gegründet und feierte letztes Jahr seinen 20. Geburtstag.
AbsInt, founded in 1998, celebrates its 20th anniversary this year.
aiT ist als ein a³-Modul erhältlich - d.h., es kann mit anderen Analyse-Tools von AbsInt in einer gemeinsamen Benutzeroberfläche kombiniert werden.
aiT is available as an a³ module, i.e. it can be combined with other analyzers from AbsInt in a single intuitive user interface.
Beachten Sie, daß akademische und kommerzielle Versionen unterschiedlich numeriert werden und daß das Valex-Add-On zur Postpaßvervalidierung nur von AbsInt erhältlich ist. Kommerzielle Version
Note that academic releases use a different numbering scheme from commercial ones, and that the Valex add-on for postpass validation is only available from AbsInt.
AbsInt liefert drei Softwarewerkzeuge zur WCET-Analyse, die auf unterschiedliche Anwendungsszenarien zugeschnitten sind.
AbsInt provides three different tools for WCET analysis which are tailored to three different use cases.
AbsInt erhöht die Sicherheit der Flugsteuerungssoftware des neuen Airbus A380
AbsInt contributes to guaranteeing the safety of the A380, the world's largest passenger aircraft
Die statische Analyse von AbsInt berechnet die maximale Laufzeit und den maximalen Stack-Bedarf und erkennt Laufzeitfehler. Sie lässt sich automatisch aus TargetLink-Modellen starten. So hält sich der Aufwand für die Konfiguration der Analyse in Grenzen und die Analyseergebnisse sind präziser.
The static analyzers from AbsInt are used to compute worst-case execution time/stack usage and to detect run-time errors and can be invoked automatically from TargetLink models. This leads to a small analysis configuration effort and to more precise analysis results.
AbsInt bietet Lizenzen und Kundenbetreuung für kommerzielle Benutzer an und trägt aktiv zur Weiterentwicklung des Tools bei.
AbsInt offers commercial licenses, provides industrial-strength support and maintenance, and actively contributes to the advancement of CompCert.
Die Reports liefern alle benötigten Informationen über die Entwicklungsprozesse bei AbsInt.
