Deep learning algorithms have seen success in a wide variety of applications, such as
machine translation, image and speech recognition, and self-driving cars. However, these …

In the paper we propose a fundamental shift from the present manufacturing concepts and
problem solving approaches towards new manufacturing paradigms involving phenomena …

Model checkers for systems represented by labelled transition systems are not as extensively
used as those for systems represented by Kripke structures. This is partially due to the lack …

SpinRCP is an integrated development environment for the Spin model checker used for
verifying the correctnesses of concurrent and distributed systems. Using SpinRCP, it is easy to …

This paper presents our research in the domain of automated generation of a model from an
SDL (Specification and Description Language) system specification. We use the Spin (…

This paper presents an approach to formal specification and functional verification of digital
hardware designs. Both synchronous and asynchronous as well as combinational circuits …

In this article we present an Eclipse plug-in for Spin and st2msc tools. The plug-in can be
used to edit a Promela model, run the formal verification of the model, and generate optimized …

Formal verification of concurrent systems is extensively studied in last decades. A typical
verification problem consists of formally establishing a relationship between a design and a …

This paper presents research results from the field of automated generation of verification
model from real-life SDL (Specification and Description Language) specification of the system. …

This paper describes methods used to place telephone calls over packet-based networks
with emphasis on Internet point-to-point communication. Two approaches will be described-H.…