July 17, 2007
Prover Technology Releases 3rd Generation Prover iLock
Complete Set of Simulation and Formal Verification Capabilities Now Available Also for Imported Applications
Stockholm, Sweden - July 17, 2007 Prover Technology today announced the release of Prover iLock 3.0, the leading software product suite for safe and automated development of rail control applications. The most significant improvement is a new flow for simulation and formal verification of applications developed by hand or using other automation tools. The new flow enables users to benefit from features that previously have only been available for systems implemented using Prover iLock, including generic specifications, graphical debugging, report generation and more.
Support for additional hardware platforms has also been added and Prover iLock now supports systems that are relay-based and computerized, centralized and distributed, and VITAL and non-VITAL.
Other improvements include a set of extensive Configuration Data Libraries that ship with the tool on source code format, new specification language features, new mechanisms for distribution of VITAL and non-VITAL logic, and improved speed and capacity.
Prover's customer base is migrating to the new release. To try out for yourself, contact us at www.prover.com/contact.
About Prover Technology
Prover Technology provides software products and services for control and signaling application development. The company was founded in 1989 and is privately held. It is headquartered in Stockholm, Sweden with wholly owned subsidiaries in France and USA. Prover Technology's customer base includes Airbus, Ansaldo, Bombardier, New York City Transit, RATP (Paris Metro), Swedish National Rail, Thales, and many others. For more information and office locations, visit Prover Technology's web site at http://www.prover.com.
Contact
Marcus Tallhamn, Prover Technology
650 722 2750
marcus@prover.com
# # #
All products are the trademarks, service marks, or registered trademarks of their respective holder.
