cancel
Showing results for 
Search instead for 
Did you mean: 
cancel
Showing results for 
Search instead for 
Did you mean: 

Community Tip - Visit the PTCooler (the community lounge) to get to know your fellow community members and check out some of Dale's Friday Humor posts! X

Model check learning

amitshah
1-Newbie

Model check learning

Hi,

Does any one have learning material for Model check. I am specifically looking for "BATCH MODE".

Thanks,

Amit

11 REPLIES 11
BenLoosli
23-Emerald II
(To:amitshah)

I have a bunch of files and stuff collected over the years, but nothing that is specific to Batch Mode.

Anything you have regarding configuration of Model please share, it may be useful

StephenW
23-Emerald II
(To:amitshah)

There is a book, see this thread  ModelCHECK Handbook

Index shows a section about batch mode.

I did not find link to download the book. Is it paid or Free.

Its not free. You need to Buy this book.

StephenW
23-Emerald II
(To:amitshah)

I want to learn & understand configuration part of Modelcheck..

ctauber
4-Participant
(To:amitshah)

I've configured and used Modelcheck for nearly 20 years, having purchased it in the late 1990's it from its creator, Rand.

What is it that you want to know about Modelcheck? I haven't read either of the books mentioned above, but both are likely better than PTC's documentation of it.

Ha ha ha... Indeed.. Any document other than PTC are always better to learn & refer.

Actually, I will be getting one project on model check. So wanted to learn about it so that I could able to execute it.

Thanks the reason Looking for any learning material for free.

** Comment Edited by Toby **

Good day all,

I have edited the content.

Best,

Toby

Top Tags