Static Analysis
Code Coverage
Unit Testing
Target Testing
Reqs Traceability
Professional Services
White Papers
Case Studies
LDRA Certifications

Please fill the form only once to access documents

Name Surname:
Company Name:
Email:
Phone:

Product Brochures

TBvision	TBsecure
LDRArules	TBevolve

Please contact us for more information and documents

Product Brochures

TBvision	LDRA Product Brochure
LDRAcover

Related Documents

TBsafe Dynamic Dataflow Coverage	TBsafe Exact Semantic Analysis
TBsafe Information Flow Analysis	TBsafe Modified Condition MC/DC
LDRA-Mathworks Integration	Development of Object Code Verif..

Please contact us for more information and documents

Product Brochures

TBrun	LDRA Product Brochure
LDRAunit

Related Documents

Unit Testing Embedded Systems on..

TLP Target License Package

Please contact us for more information and documents

Product Brochures

TBrun	TLP Target License Package
LDRAunit	LDRA Product Brochure

Related Documents

Unit Testing Embedded Systems on..

Please contact us for more information and documents

Product Brochures

TBreq / TBmanager
LDRA Product Brochure

Related Documents

LDRA Toolsuite and TBreq

Please contact us for more information and documents

Product Brochures

LDRA Compliance Management System	LDRA Certification Services
DO178 Tool Qualification Support Pk	LCMS Video

Please contact us for more information and documents

LDRA Toolsuite and TBreq	Testing Safety Compliant Systems
An Introduction to MISRA C:2012	QNX and LDRA Dynamic Analysis
Verification of EOC from a Model	Legacy Code in the Safety Critical...
Formal Methods implemented in....	LDRA Toolsuite & Testing Auto...
Testing Times for Real Time Softw...	Efficient testing ensures require...
Lessons Learnt from Aerospace Sw.	ZDSD Manifesto

Please contact us for more information and documents

Customer Testimonials

UIMDB	United Space Alliance
Esprit Lean	HCC
Analox	Ultra Datel
Fairchild Controls	Ultra Datel II
DENSO	China Manned Spacecraft Program
SEAWEED Systems	NEPTEC
Invensys Dimetronic Signals	ENSCO
QinetiQ	LBS West
Penny&Giles	Westinghouse

Please contact us for more information and documents

LDRA Certifications

TÜV SÜD Certification	LDRA awarded TÜV Certification PR

Please contact us for more information and documents

GENSOFT Yazılım Geliştirme Çözümleri Ltd.Şti

Address : Ata Mh. 1065.Cd. No:99/17
06460, Öveçler - Ankara/TÜRKİYE
Tel : +90 (546) 50 444 05
E-mail : info@gensoft-tr.com