RUwise

Over RUwise

RUwise is a consultancy firm specialized in the verification and validation of (concurrent) software systems. We are experts in the model checker SPIN and know how to apply the tool to find bugs in high level designs of software. We also have experience in verifying software programs written in Java, C# and C.

Adres

• Hoofdkantoor

  7415EDNederland

Team per functiegebied

Gebaseerd op 1 openbare functieprofielen, stand van 2 september 2026.

• Engineering / Software Development1