caa a22 4500 605516391 CHVBK 20210128100714.0 cr unu---uuuuu 210128e20150301xx s 000 0 eng 10.1007/s00165-014-0318-7 doi (NATIONALLICENCE)springer-10.1007/s00165-014-0318-7 Abstraction and approximation in fuzzy temporal logics and models [Elektronische Daten] [Gholamreza Sotudeh, Ali Movaghar] Recently, by defining suitable fuzzy temporal logics, temporal properties of dynamic systems are specified during model checking process, yet a few numbers of fuzzy temporal logics along with capable corresponding models are developed and used in system design phase, moreover in case of having a suitable model, it suffers from the lack of a capable model checking approach. Having to deal with uncertainty in model checking paradigm, this paper introduces a fuzzy Kripke model (FzKripke) and then provides a verification approach using a novel logic called Fuzzy Computation Tree Logic* (FzCTL*). Not only state space explosion is handled using well-known concepts like abstraction and bisimulation, but an approximation method is also devised as a novel technique to deal with this problem. Fuzzy program graph, a generalization of program graph and FzKripke, is also introduced in this paper in consideration of higher level abstraction in model construction. Eventually modeling, and verification of a multi-valued flip-flop is studied in order to demonstrate capabilities of the proposed models. British Computer Society, 2014 Abstraction nationallicence Approximation nationallicence Fuzzy Kripke model nationallicence Fuzzy temporal logic nationallicence Model checking nationallicence Fuzzy program graph nationallicence Multi-valued flip-flop nationallicence Sotudeh Gholamreza Department of Computer Engineering, Islamic Azad University (Science and Research Branch), Tehran, Iran aut Movaghar Ali Department of Computer Engineering, Islamic Azad University (Science and Research Branch), Tehran, Iran aut Formal Aspects of Computing Springer London 27/2(2015-03-01), 309-334 0934-5043 27:2<309 2015 27 165 https://doi.org/10.1007/s00165-014-0318-7 text/html Onlinezugriff via DOI BK010053 XK010053 XK010000 Metadata rights reserved Springer special CC-BY-NC licence nationallicence 1 research-article jats NATIONALLICENCE NATIONALLICENCE NL-springer NATIONALLICENCE 856 40 https://doi.org/10.1007/s00165-014-0318-7 text/html Onlinezugriff via DOI NATIONALLICENCE 700 1- Sotudeh Gholamreza Department of Computer Engineering, Islamic Azad University (Science and Research Branch), Tehran, Iran aut NATIONALLICENCE 700 1- Movaghar Ali Department of Computer Engineering, Islamic Azad University (Science and Research Branch), Tehran, Iran aut NATIONALLICENCE 773 0- Formal Aspects of Computing Springer London 27/2(2015-03-01), 309-334 0934-5043 27:2<309 2015 27 165