Government Contractors > REACTIVE SYSTEMS, INC.

REACTIVE SYSTEMS, INC.Cary, North Carolina

REACTIVE SYSTEMS, INC.
919-324-3507 x101
341 Kilmayne Dr Ste 101 Cary, NC 27511-4490
Fax:919-324-3508

Products & Services

Reactive Systems sells testing and verification tools for embedded software. The company also provides training and consulting services in the area of embedded-software design.
simulink,testing,software,validation,embedded
build better control software faster with model-based testing using reactis. reactis tester generates test suites from simulink and stateflow models. reactis simulator enables users to execute and extend tester-generated tests. reactis validator checks for violations of requirements in simulink and stateflow models.

Keywords

  • Engineering Design
  • Testing Tools
  • Model Verification
  • Design Validation
  • Model Validation
  • Embedded Software

NAICS Code(s)

511210
Software Publishers
541512
Computer Systems Design Services

Found any discrepancies in your company profile?

Request to update/remove the information