Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Registreer gratis: toegang tot meer resultaten en functies
AbsInt
Vertaling van "AbsInt" in Duits
AbsInt develops tools for validating, verifying and certifying safety-critical embedded software.
AbsInt entwickelt Werkzeuge zum Validieren, Verifizieren und Zertifizieren von sicherheitskritischer eingebetteter Software.
AbsInt, a worldwide leading manufacturer of program analysis tools for safety-critical software, today has launched two new product lines.
AbsInt, der weltweit führende Anbieter von Tools zur Analyse von sicherheitskritischer Software, stellt zwei neue Produktlinien vor.
AbsInt provides advanced tools and services for embedded systems with a focus on software validation, verification, and certification.
AbsInt bietet innovative Tools und Dienstleistungen für eingebettete Software mit Schwerpunkt auf Validierung, Verifikation und Zertifizierung von Software.
AbsInt, founded in 1998, celebrates its 20th anniversary this year.
AbsInt wurde 1998 gegründet und feiert dieses Jahr seinen 20. Geburtstag.
AbsInt provides advanced development tools for embedded systems, and tools for validation, verification and certification of safety-critical software.
AbsInt bietet Software zur Analyse, Optimierung und Verifikation von eingebetteten Systemen und sicherheitskritischen Softwareprogrammen an.
AbsInt, founded in 1998, celebrates its 20th anniversary this year.
AbsInt wurde 1998 als Spin-Off der Universität des Saarlandes gegründet und feierte letztes Jahr seinen 20. Geburtstag.
aiT is available as an a³ module, i.e. it can be combined with other analyzers from AbsInt in a single intuitive user interface.
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.
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.
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
AbsInt provides three different tools for WCET analysis which are tailored to three different use cases.
AbsInt liefert drei Softwarewerkzeuge zur WCET-Analyse, die auf unterschiedliche Anwendungsszenarien zugeschnitten sind.
AbsInt contributes to guaranteeing the safety of the A380, the world's largest passenger aircraft
AbsInt erhöht die Sicherheit der Flugsteuerungssoftware des neuen Airbus A380
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.
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.
AbsInt offers commercial licenses, provides industrial-strength support and maintenance, and actively contributes to the advancement of CompCert.
AbsInt bietet Lizenzen und Kundenbetreuung für kommerzielle Benutzer an und trägt aktiv zur Weiterentwicklung des Tools bei.
Saarbrücken, February 28, 2018: AbsInt, the specialist for program analysis tools for safety-critical software, launches a new product.
Saarbrücken, 28. Februar 2018: AbsInt, der Spezialist für Programmanalysetools für sicherheitskritische Software, führt ein neues Produkt ein.
Synoniemen voor AbsInt in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Suggesties
Resultaten: 57. Exact: 57. Verstreken tijd: 63 ms.
