AN APPROACH TO INCREASE THE EFFECTIVENESS OF TLC VERIFICATION WITH RESPECT TO THE CONCURRENT STRUCTURE OF TLA+ SPECIFICATION
Modern approaches to distributed software systems engineering are tightly bounded with formal methods usage. The effective way of certain method application can leverage significant outcome, in terms of corresponding time costs reduction for instance. To this end the TLC model checker has been consi...
| Main Authors: | , , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
UMP Publisher
2018-02-01
|
| Series: | International Journal of Software Engineering and Computer Systems |
| Subjects: | |
| Online Access: | http://ijsecs.ump.edu.my/images/archive/vol4-1/ijsecs.4.1.2018.1.0037.pdf |