Skip to main content
A
amitshah1-Visitor
1-Visitor
May 3, 2017
Question

Model check learning

  • May 3, 2017
  • 5 replies
  • 4393 views

Hi,

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

Thanks,

Amit

5 replies

B
23-Emerald III
BenLoosli23-Emerald III
23-Emerald III
May 3, 2017

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

A
amitshah1-VisitorAuthor
1-Visitor
May 4, 2017

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

S
23-Emerald III
StephenW23-Emerald III
23-Emerald III
May 3, 2017

There is a book, see this thread  ModelCHECK Handbook

Index shows a section about batch mode.

A
amitshah1-VisitorAuthor
1-Visitor
May 4, 2017

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

M
manjunathrv17-Peridot
17-Peridot
May 4, 2017

Its not free. You need to Buy this book.

A
amitshah1-VisitorAuthor
1-Visitor
May 4, 2017

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

C
ctauber1-Visitor
1-Visitor
May 19, 2017

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.

A
amitshah1-VisitorAuthor
1-Visitor
May 24, 2017

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.

S
srekha1-Visitor
1-Visitor
May 24, 2017

** Comment Edited by Toby **

T
Tmetcalf5-Regular Member
5-Regular Member
May 24, 2017

Good day all,

I have edited the content.

Best,

Toby

Terms & ConditionsAccessibility statement