Zobrazeno 1 - 3
of 3
pro vyhledávání: '"Cheol-Joo Jeong"'
Publikováno v:
Proceedings Twelfth International Conference on Information Networking (ICOIN-12).
This paper presents an implementation of model checking tool for LTS process specification which checks deadlock, livelock and reachability for the state and action. The implemented formal checker using modal mu-calculus is able to verify whether pro
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::badfb447d614efb7e409bb70e5a0aa90
https://doi.org/10.1109/icoin.1998.648443
https://doi.org/10.1109/icoin.1998.648443
Publikováno v:
Proceedings Intelligent Information Systems. IIS'97.
Use of formal specification does not a priori guarantee correctness. So far a number of animation approaches have been used for validating formal specification correctness. However, they require complex validation procedures and exhaustive testing an
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::6ca01736bc845c9a019fa5e85f0ee921
https://doi.org/10.1109/iis.1997.645255
https://doi.org/10.1109/iis.1997.645255
Publikováno v:
Proceedings Intelligent Information Systems IIS'97; 1997, p277-281, 5p