@Rafat-Alshorman

Rafat Alshorman

1 Questions 2 Answers 0 Followers

Questions related from Rafat Alshorman

Can anyone suggest projects that are using NuSMV model checker and they need people to collaborate with them?

I am using NuSMV model checker in my research. But, I need to apply my knowledge in a real system specifications and verifications.

25 February 2014 2,634 0 View

Our partners will collect data and use cookies for ad personalization and measurement. Learn how we and our ad partner Google, collect and use data. Agree & close