نتایج جستجو برای: model checking
تعداد نتایج: 2124362 فیلتر نتایج به سال:
Topological Spatial Model Checking is a recent paradigm where model checking techniques are developed for the topological interpretation of Modal Logic. The Logic Closure Spaces, SLCS, extends with reachability connectives that, in turn, can be used expressing interesting spatial properties, such as "being near to" or surrounded by". SLCS constitutes kernel solid logical framework reasoning abo...
Regular model checking is an exploration technique for infinite state systems where spaces are represented as regular languages and transition relations expressed using rational over (or finite) strings. We extend the paradigm to permit use of more powerful relations: class relations, which a strict subset. language monadic second-order logic (MSO) on strings specify such adopt streaming string...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید