In this article, we show several results obtained by combining the use of stable distributions
with pseudorandom generators for bounded space. In particular:---We show that, for any …

This paper puts forward a computationally-based notion of proof and explores its
implications to computation at large. In particular, given a random oracle or a suitable …

The premise of variability-intensive systems, specifically in software product line
engineering, is the ability to produce a large family of different systems efficiently. Many such …

The use of logic in identifying and analyzing inconsistency in requirements from multiple
stakeholders has been found to be effective in a number of studies. Nonmonotonic logic is a …

Model-driven development, using languages such as UML and BON, often makes use of
multiple diagrams (eg, class and sequence diagrams) when modeling systems. These …

In this paper, we consider the robust interpretation of metric temporal logic (MTL) formulas
over timed sequences of states. For systems whose states are equipped with nontrivial …

Model checking possibilistic linear-time properties was investigated by Li in 2017. However,
nondeterminism of the system is absent in previous studies. Therefore, in order to permit …

In today's world of connectivity, various domains use different multi-sensor Internet of Things
(IoT) and Intelligent Systems (IS) applications. These applications involve extensive …

Abstract Model checking is a formal verification technique. It takes an exhaustively strategy
to check hardware circuits and network protocols against desired properties. Having been …

Model checking computation tree logic based on multi-valued possibility measures has
been studied by Li et al. on Information Sciences in 2019. However, the previous work did …