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... Read more