Brute-force model-checking consists in exhaustive exploration of the state-space a Petri net, and meets dreaded explosion problem. In contrast, this paper shows how to solve problems using combination techniques that stay complexity proportional size net structure rather than size. We combine an SMT based over-approximation prove some behaviors are unfeasible, under-approximation memory-less sa...

As online false information continues to grow, automated fact-checking has gained an increasing amount of attention in recent years. Researchers the field Natural Language Processing (NLP) have contributed task by building datasets, devising pipelines and proposing NLP methods further research development different components. This article reviews relevant on covering both claim detection valid...

Stateflow models are complex software models, often used as part of industrial safety-critical solutions designed with Matlab Simulink. Being solutions, these require the application rigorous verification techniques for assuring their correctness. In this paper, we propose a refutation-based formal approach analyzing against invariant properties, based on bounded model checking (BMC). The crux ...