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... Read more
This company has no org chart yet
This company has no teams yet
This company has no offices yet