1. [Home](https://www.g2.com/)
2. ...
3. [IT Risk Management Software](https://www.g2.com/categories/it-risk-management)
4. [R-Check Discussions](https://www.g2.com/products/r-check/discuss)

[
 ![Product Avatar Image](https://images.g2crowd.com/uploads/product/image/large_detail/large_detail_70501db72b0471ffb89d32fbb4a3d5a4/r-check.png "Product Avatar Image")
](/products/r-check/reviews)

[

R-Check

](/products/r-check/reviews)

0 ratings

R-Check is a software tool that checks software for compliance with specifications. It is special in providing cross language reasoning capability and in being able to make strong inferences when reasoning about partial code.

Show More

When users leave R-Check reviews, G2 also collects common questions about the day-to-day use of R-Check. These questions are then answered by our community of 850k professionals. Submit your question below and join in on the G2 Discussion.

* * *

### 0.0

Nps Score

### All R-Check Discussions

Search

Most CommentedMost HelpfulCommon QuestionsNewest

All DiscussionsDiscussions with CommentsCommon QuestionsDiscussions without Comments

FilterFilter

Filter byExpand/Collapse 

Sort by

Most Commented

Most Helpful

Common Questions

Newest

Filter by

All Discussions

Discussions with Comments

Common Questions

Discussions without Comments

Sorry...

There are no questions about R-Check yet.

## Start a New Software Discussion

Have a software question?

Get answers from real users and experts

[Start A Discussion](/products/r-check/discussions/new)

* * *

 ![Product Avatar Image](https://images.g2crowd.com/uploads/product/image/thumb_square/thumb_square_70501db72b0471ffb89d32fbb4a3d5a4/r-check.png "Product Avatar Image")

### Have you used R-Check before?

Answer a few questions to help the R-Check community

[
Yes
](javascript:void(0))[
Yes
](https://www.g2.com/login?context=product_review&return_to=https%3A%2F%2Fwww.g2.com%2Fproducts%2Fr-check%2Fdiscuss%3Fsmall_ask%3Dr-check)
No