Designing and developing of computer hardware and software for checking reactive embedded systems

'check':10 'comput':5 'design':1 'develop':3 'embed':12 'hardwar':6 'reactiv':11 'softwar':8 'system':13

Computer software tools for automatic model-based verification of reactive embedded systems, namely for mathematically checking and proving the correctness of hardware and software of embedded systems with respect to functional requirements within transportation vehicles, namely cars, trains, and vessels

'automat':5 'base':8 'car':38 'check':17 'comput':1 'correct':21 'embed':12,27 'function':32 'hardwar':23 'mathemat':16 'model':7 'model-bas':6 'name':14,37 'prove':19 'reactiv':11 'requir':33 'respect':30 'softwar':2,25 'system':13,28 'tool':3 'train':39 'transport':35 'vehicl':36 'verif':9 'vessel':41 'within':34

EMBEDDEDVALIDATOR

Owners

Goods & Services