The ERTMS/ETCS is the newest automatic train protection system. This is a system that
supports the driver in driving the train. It is currently being implemented throughout the …

Relay-based traffic control systems are still used in railway control systems. Their
correctness is most often verified by manual analysis, which does not guarantee correctness …

Automated verification of distributed systems becomes very important in distributed
computing. The graphical insight into the system in the early and late stages of the project is …

Formal verification of distributed systems is essential, especially in mission-critical systems
that cannot be restarted. Such are space systems in which satellites read sensor values and …

The rapid advances in computing, communication and storage technologies have heralded
a new age of explosive growth in multimedia applications, such as online image and video …

Abstract Model checking is one of the leading techniques in systems verification, yet it
suffers from combinatorial explosion. Heuristic non-exhaustive search techniques allow …

In modern computer systems, distributed systems play an increasingly important role, and
modeling and verification are crucial in their development. The specificity of many systems …

Business process model and notation (BPMN) is a way of describing business processes
using convenient diagrams. In the last decade, it became a de-facto industry standard …

Designing and implementing Web Services constitutes a large and constantly growing part
of the information technology market. Web Services have specific scenarios in which …

Business process model and notation (BPMN) is a way of describing business processes
using convenient diagrams. In the last decade, it became a de-facto industry standard …