Muhammad Usama Sardar

3 Questions 1 Answers 0 Followers

Questions related from Muhammad Usama Sardar

Installation of 64-bit Project Professional with Office Professional Plus?

Hello, I have 64-bit Office 2016 Professional Plus installed on my system (Windows 10, 64-bit). I am trying to install 64-bit Project Professional but it gives a strange error (Snapshot...

02 February 2018 4,382 2 View

SPIN Exercises: Problem in checking states with limited memory?

Hello everyone, I am using latest version of SPIN v6.4.7. I am working on the exercises on the webpage of SPIN: http://spinroot.com/spin/Man/1_Exercises.html In exercise 1(i), when I run the...

01 January 2018 8,661 0 View

SPIN Installation Problem "spin: error, the version of spin that generated this pan.c assumed a different wordsize (4 iso 8)"?

Hello everyone, I am using cygwin64 terminal on Windows 10 to run SPIN model checker (http://spinroot.com/spin/whatispin.html) The following two commands work fine: spin -a peterson.pml...

12 December 2017 7,249 1 View