Component-based software development (CBSD) is an alternative approach to constructing
software systems that offers numerous benefits, particularly in decreasing the complexity of …

We present nine SAT-solvers and compare their efficiency for several decision and
combinatorial problems: three classical NP-complete problems of the graph theory, bounded …

The proposed regulatory framework for Artificial Intelligence and the EU General Data
Protection Regulation oblige automated reasoners to justify their conclusions in human …

We present a SAT-based bounded model checking (BMC) method for the weighted
interpreted systems (ie interpreted systems augmented to include a weight function, one per …

We define the SMT-based bounded model checking (BMC) method for weighted interpreted
systems and for the existential fragment of the weighted epistemic computation tree logic …

This article introduces a new method for modelling and verifying the execution of timed
security protocols (TSPs) and their time-dependent security properties. The method, which is …

In this paper, we present the SMT-based bounded model checking (BMC) method for Timed
Real-Weighted Interpreted Systems and for the existential fragment of the Weighted …

With the development of service-oriented architecture, Web service composition has
become more important for mitigating potential security vulnerabilities. When the scale of …

Component-based software development (CBSD) is an alternative approach to constructing
software systems that offers numerous benefits, particularly in decreasing the complexity of …

The paper deals with the SAT-and ROBDD-based bounded model checking (BMC) methods
for the existential fragment of a flat weighted epistemic computation tree logic (FWECTLK) …