Efficient algorithms have been developed to model check liveness properties, such as the
well-known Nested Depth-First Search, which uses a depth-first search (DFS) strategy …

Since their invention, Petri nets have provided modelling and analysis methods to support
the design of correct, reliable and robust systems. This motivated our work to develop …

We present a symbolic reachability analysis approach for B that can provide a significant
speedup over traditional explicit state model checking. The symbolic analysis is …

PetriDotNet is an extensible Petri net editor and analysis tool originally developed to support
the education of formal methods. The ease of use and simple extensibility fostered more and …

Convolutional Neural Networks (CNNs) have shown outstanding performance in visual
object tracking. However, most of classification-based tracking methods using CNNs are …

Efficient symbolic and explicit-state model checking approaches have been developed for
the verification of linear time temporal logic (LTL) properties. Several attempts have been …

Throughout her more than 200 years of existence, one of the major missions of the Budapest
University of Technology and Economics is to spearhead modern technological …

Complex Event Processing (CEP) facilitates monitoring large-scale, distributed systems.
CEP applications analyze real-time streams of events to detect patterns that indicate …

Efficient symbolic and explicit model checking approaches have been developed for the
verification of linear time temporal logic (LTL) properties. Nowadays, several attempts have …