ASAM-search ASAM

Product Directory

BACK TO OVERVIEW

BTC EmbeddedValidator

BTC Embedded Systems AG

TYPE
Formal Verification
FUNCTIONALITIES
BTC EmbeddedValidator is a tool for the formal verification of safety-critical requirements. Formal verification is performed on production C-code and takes formalized requirements from BTC EmbeddedSpecifier as a starting point.
COMPANY PROFILE


BACK TO OVERVIEW
COMPANY
Address
Gerhard-Stalling-Straße 19
26135 Oldenburg
Germany
Phone
+ 49 441 969 738-0
Website
www.btc-embedded.com
BACK TO OVERVIEW
Top

ASAM e. V.
Altlaufstr. 40
85635 Hoehenkirchen
Germany
Phone: +49 8102 70139 080

 

Follow us on 

 

 

MEET US AT THE

ASAM General Assembly 2024

ASAM is hosting the ASAM General Assembly (members only) and the ASAM Technical Seminar (membership not required). Join us

on: Apr 16 - 17, 2024
in: Hoehenkirchen, Germany | online

Register

© 2024 ASAM e.V. All Rights Reserved