Ransomware is a recent type of malware which makes inaccessible the files or the device of
the victim. The only way to unlock the infected device or to have the keys for decrypting the …

Debugging—the process of identifying, localizing and fixing bugs—is a key activity in
software development. Due to issues such as non-determinism and difficulties of …

One of the commonly used techniques to verify software and hardware systems which have
been specified through graph transformation system (GTS), especially safety critical ones, is …

While developing concurrent systems, one of the important properties to be checked is
deadlock freedom. Model checking is an accurate technique to detect errors, such as …

Android smartphones are the most widespread in the world. This is the reason why attackers
write code more and more aggressive in order to steal data and other important information …

Software architectural style is one of the best concepts to define a family of related
architectures and their common properties. Despite the essential role of software …

One of the best approaches for verifying software systems (especially safety critical systems)
is the model checking in which all reachable states are generated from an initial state. All of …

Equivalence checking plays a crucial role in formal verification to ensure the correctness of
concurrent systems. However, this method cannot be scaled as easily with the increasing …

Assessing the reliability of safety-critical systems is an important and challenging task
because even a minor failure in these systems may result in catastrophic consequences, like …

Model checking is an automatic technique for software verification through which all
reachable states are generated from an initial state to finding errors and desirable patterns …