نتایج جستجو برای: model checking
تعداد نتایج: 2124362 فیلتر نتایج به سال:
Journal:
:Theory and Practice of Logic Programming
2012
Journal:
:Logical Methods in Computer Science
2012
Journal:
:IEEE Transactions on Parallel and Distributed Systems
2001
Journal:
:Theoretical Computer Science
2014
Journal:
:Journal of Applied Mathematics
2014
Journal:
:Logical Methods in Computer Science
2017
Journal:
:Lecture Notes in Computer Science
2023
Abstract HyperLTL is a temporal logic that can express hyperproperties, i.e., properties relate multiple execution traces of system. Such are becoming increasingly important and naturally occur, e.g., in information-flow control, robustness, mutation testing, path planning, causality checking. Thus far, complete model checking tools for have been limited to alternation-free formulas, formulas u...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید