UNIT Information Technologies R&D Ltd.
UNIT Information Technologies R&D has been working in the Model-Driven Software Development (specifically Domain Specific Modeling Languages), Software Product Line Engineering, Multi-model consistency checking , Structural Model Verification & Bounded Model Analysis and Formal Requirement Specification in the context of Software and System Engineering (esp. in Embedded and Cyber-Physical Systems). As one of the active companies in this field in Turkey, we also lead and participate in several national and international funded projects. UNIT Information Technologies R&D Ltd conducts research into the use of Lightweight Formal Methods in industry. In a variety of R&D projects, often collaborated with large industrial partners, we have developed model-based software systems in which various logic reasoners and decision procedures are applied.