Latest Formal verification Stories

TOULOUSE, France, September 17, 2012 /PRNewswire/ -- Prover Technology, a world leader in software technology for Automated Development of Rail Control Software, today announced that Infrabel, the Belgian railway infrastructure manager, has placed an order for using Prover iLock for validation of level crossing control requirements. The Belgian railway network is one of the busiest in Europe, with more than 1,800 level crossing systems. Infrabel chose Prover...

STOCKHOLM, September 12, 2012 /PRNewswire/ -- Prover Technology, a world leader in software technology for Automated Development of Rail Control Software, today announced that General Electric has placed an order for turnkey delivery of interlocking software developed with Prover iLock. The scope of the order includes the interlocking systems for the existing light rail system Tvarbanan as well as the new Solna branch, to be delivered by General Electric to Stockholm Public...

Analysis verifies safety of distributed car control systemDriver assistance technologies, such as adaptive cruise control and automatic braking, promise to someday ease traffic on crowded routes and prevent accidents. Proving that these automated systems will work as intended is a daunting task, but computer scientists at Carnegie Mellon University have now demonstrated it is possible to verify the safety of these highly complex systems.To do so, the researchers first developed a model of a...

STOCKHOLM and TOULOUSE, France, March 15, 2011 /PRNewswire/ -- Prover Technology, the world leader in Signaling Design Automation, today announced that Ansaldo STS has placed an order for using Prover Certifier for ERTMS Level 2 interlocking systems delivered to Trafikverket, the Swedish Transport Administration. Prover Certifier is the only software product on the market that enables automatic production of the complete safety evidence for CENELEC EN50128 SIL 4 certification based on...

SANTA CLARA, Calif., May 6 /PRNewswire/ -- NextOp Software, Inc. formally introduced itself today as a functional verification provider focused on delivering Assertion-Based Verification solutions that leverage design and testbench information to uncover bugs, expose coverage holes and increase verification observability. NextOp also announced today its flagship assertion synthesis product BugScope(TM), after four years of development of key technologies and successful work with several...

STOCKHOLM and CALIFORNIA, May 4, 2010 /PRNewswire/ -- Prover Technology, the world leader in Signaling Design Automation, today announced that it has received an order for delivering a Prover iLock solution for development and checking of interlocking systems from Canadian Pacific (CP), a Class 1 railway company. The Prover iLock solution will automate code generation, formal safety verification and functional testing of interlocking system software for platforms Microlok(R) II,...