The Investigation of TLC Model Checker Properties
This paper presents the investigation and comparison of TLC model checking method (TLA Checker) properties. There are two different approaches to method usage which are considered. The first one consists of a transition system states attendance by breadth-first search (BFS), and the second one by de...
| Main Authors: | , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
University of Zagreb, Faculty of organization and informatics
2016-06-01
|
| Series: | Journal of Information and Organizational Sciences |
| Subjects: | |
| Online Access: | http://jios.foi.hr/index.php/jios/article/view/991 |