 CORRECTION - Prover Technology: Prover Technology Announces Prover Online
Geschrieben am 12-09-2013 |
Stockholm (ots/PRNewswire) -
No change to content. Internal correction only.
Online Environment Increases Efficiency in Formal
Verification-Based Safety
Assessment of Rail Control Systems
Prover Technology, a world leader in software technology for
Automated Development of Rail Control Software, today announced
Prover Online, an online environment for integrated tool chains that
perform formal verification of safety.
Since many years, Prover Technology has provided best-in-class
tools for development and safety assessment of rail control systems
based on formal verification. The company has helped clients to
specify generic safety requirements and has supplied integrated tool
chains that automate safety assessment of individual systems. Prover
Technology can now offer an even more accessible and versatile
environment hosted on high-performance hardware servers - Prover
Online. By using Prover Online, it becomes easier to standardize on
the use of formal verification-based safety assessment across
distributed engineering teams, the work efficiency becomes improved
and the IT support cost is reduced.
Prover Online will initially be available under time-based
licensing of the software products Prover Extractor, for relay-based
system development, and Prover Certifier, for sign-off safety
verification based on approved safety specifications.
About Prover Technology
Prover Technology pioneered the use of formal safety verification
in rail control in the 1990s, and today offers complete software
solutions for development of rail control systems.
Prover Technology is a privately held Swedish company
headquartered in Stockholm, Sweden, with wholly owned subsidiaries in
France and the USA. For more information and office locations, visit
Prover Technology's web site at http://www.prover.com.
Prover is a registered trademark of Prover Technology AB. Other
trademarks mentioned in this release are trademarks of Prover
Technology AB.
Editorial Contacts:
Contact
Prover Technology
+4686176800
info@prover.com
ots Originaltext: Prover Technology
Im Internet recherchierbar: http://www.presseportal.de
Kontaktinformationen:
Leider liegen uns zu diesem Artikel keine separaten Kontaktinformationen gespeichert vor.
Am Ende der Pressemitteilung finden Sie meist die Kontaktdaten des Verfassers.
Neu! Bewerten Sie unsere Artikel in der rechten Navigationsleiste und finden
Sie außerdem den meist aufgerufenen Artikel in dieser Rubrik.
Sie suche nach weiteren Pressenachrichten?
Mehr zu diesem Thema finden Sie auf folgender Übersichtsseite. Desweiteren finden Sie dort auch Nachrichten aus anderen Genres.
http://www.bankkaufmann.com/topics.html
Weitere Informationen erhalten Sie per E-Mail unter der Adresse: info@bankkaufmann.com.
@-symbol Internet Media UG (haftungsbeschränkt)
Schulstr. 18
D-91245 Simmelsdorf
E-Mail: media(at)at-symbol.de
485073
weitere Artikel:
- Schornsteinfeger und Heizungsindustrie: Stagnation im Wärmemarkt verstärkt / ZIV und BDH legen neue Auswertung zum Anlagenbestand vor (BILD) Köln (ots) -
Die Energiewende im deutschen Wärmemarkt kommt nicht in Schwung.
Dies verdeutlicht die vom Bundesindustrieverband Deutschland Haus-,
Energie- und Umwelttechnik e .V. (BDH) und vom Bundesverband des
Schornsteinfegerhandwerks Zentralinnungsverband (ZIV) vorgelegte
Auswertung über den energetischen Zustand der Heizungsanlagen in
Deutschland.
"75 Prozent der in Deutschland installierten 20 Millionen
Heizungsanlagen verbrauchen zu viel Energie", so Manfred Greis,
Präsident des BDH. "Bei der gegenwärtigen jährlichen mehr...
- China International Industry Fair feiert 15-jähriges Bestehen mit erstaunlicher Erfolgsbilanz Shanghai (ots/PRNewswire) - China hat in den vergangenen Jahren
ein starkes Wachstum verzeichnet, begleitet von einer größeren
industriellen Basis und einem höheren Technologiegehalt im
herstellenden Gewerbe. China International Industry Fair (Die
Internationale Industriemesse in China, "CIIF",
http://www.ciif-expo.com/en [http://www.ciif-expo.com/en]) ist
regierungsnaher, marktorientierter Organisator dieser führenden Messe
für den Maschinen- und Anlagenbau. Diese von der UFI (Union of
International Fairs) anerkannte, 1999 gegründete mehr...
- Interbrand entwickelt weltweite Employer Branding-Kampagne für Evonik Industries / Spezialchemiekonzern positioniert sich erstmals gezielt als globale Arbeitgebermarke Essen/Köln (ots) -
In enger Zusammenarbeit mit Evonik Industries entwickelt
Interbrand eine globale Arbeitgebermarke für den Konzern, um Evonik
weltweit als attraktiven Arbeitgeber zu positionieren und den
Bekanntheitsgrad weiter zu steigern. Damit positioniert sich Evonik
erstmals in seiner Geschichte gezielt als globale Arbeitgebermarke.
Evonik ist eines der weltweit führenden Unternehmen der
Spezialchemie und mit über 33.000 Mitarbeitern in über 100 Ländern
aktiv. Das Unternehmen will profitabel wachsen und den
Unternehmenswert mehr...
- Die erste Uhr von DuBois et fils neuer Kollektion kommt unter den Hammer / Online-Versteigerung des Modells DBF001-01 mit der Limited Edition Nummer "01" Le Locle, Schweiz (ots) - Bereits wenige Tage nach dem Aufschalten
des DuBois et fils Internet-Shops im Juli waren sämtliche
Uhrenmodelle der Kollektion DBF001-01 ausverkauft. Mit einer
Ausnahme: Die erste Uhr der neuen Kollektion, das Modell DBF001-01
mit der Limited Edition Nummer "01" von 99 Stück, ist noch zu haben.
Dieser einzigartige Zeitmesser, der wie keine andere Uhr den
Aufbruch der Schweizer Traditionsmarke in eine neue Ära symbolisiert,
wird online versteigert. Seit dem 05. September 2013 können
Uhrenliebhaber aus mehr...
- Milestone gibt neue leistungsfähige Geräteserie Husky heraus Kopenhagen (ots/PRNewswire) -
Der global führende Anbieter von Videomanagement-Software steigt
mit einer
Reihe von hochleistungsfähigen NVRs in den Markt für
Komplettlösungen ein
Milestone Systems, Hersteller von
Open-Platform-IP-Videomanagement-Software (VMS), gibt eine neue
Produktserie unter dem Namen Milestone Husky heraus. Diese NVR-Geräte
bieten robuste, gebrauchsfertige Überwachungslösungen mit der
hochentwickelten VMS von Milestone, die auf hochleistungsfähiger
Hardware vorinstalliert ist.
"Milestone mehr...
|
|
|
Mehr zu dem Thema Aktuelle Wirtschaftsnews
Der meistgelesene Artikel zu dem Thema:
DBV löst Berechtigungsscheine von knapp 344 Mio. EUR ein
durchschnittliche Punktzahl: 0
Stimmen: 0
|
