
Oldenburg, July 2026 – BTC Embedded Systems is evolving from a test tool vendor into a High-Tech Software Quality Company. The foundation is BTC QCore – the company's technology core, bundling more than 25 years of expertise in formal verification, automated test generation, and quality evidence.
Under this umbrella, BTC offers the full spectrum of provable software quality: proven off-the-shelf tools, tailor-made Solutions for customer-specific quality requirements, and Consulting – from process consulting around CI/CD/CT to advisory on safety standards such as ISO 26262 and IEC 61508. Whether classically developed or AI-based software: safety- and mission-critical systems demand quality that can be proven. That is what BTC stands for: By proof, not by promise.
This repositioning marks the next step: Trusted Quality at the Speed of Innovation – as a product, as a solution, as consulting. Always built on the same technology core.

Hans Jürgen Holberg
Chief Sales Officer (CSO) · BTC Embedded Systems · Oldenburg, Germany
Hans J. Holberg studied Computer Science at the University of Oldenburg, finishing his Diploma in 1995. He went on to work in the Research Institute OFFIS on Formal Methods and Automatic Test- and Validation Technology to support the Model Based Development Process of the Automotive and Aerospace Industry. In 2000, he became Consulting Director of pioneer Formal Methods Tool Vendor BTC Embedded Systems. From there, he went on to spend 9 years in charge of Marketing & Sales as Senior Vice President, as well as the responsible Representative Director of BTC Japan Co. Ltd. Since the beginning of 2016, he’s served as Chief Sales Officer (CSO) of BTC Embedded Systems AG.



