Model Based Testing for Concurrent Systems with Labeled Event Structures

Based on the incidence matrix of the process (Table 5), the structure of the bayesian network for the diagnosis of the heating water process is constructed (Fig... Bayesian network

This last point means that V AMPIRE can only answer sat for the theory of uninterpreted functions, or for ground problems where all theory parts are passed to an SMT solver via

In this paper, we present a solution using NMF Expressions, a tool for incremental evaluation of arbitrary expressions on the .NET platform..

Then the global stability (observer + controller) is checked using theorem 5. The maximum numbers of packets lost for the two modes are 0 and 3 respectively while the system

In some cases, over the considered period of two hours, as shown in figure 8, the inoculated version of the Evolutionary Algorithm is even able to reach solutions of much better

Besides the definition of a co-ioco conformance relation handling true concurrency, we define in [21] the notion of test case, we give sufficient properties for a test suite to be

Aspnes and Ruppert showed that the expected average depth of nodes in the resulting tree is O(log n + c) for a comparison-based adversary, which can only take the relative order

The regulation part of the model reads arrival and departure dates of trains (i.e., firing dates of transitions of the Petri net), and allows departures at dates prescribed by