Detecting faults in specications can help reduce the cost and risk of software development because incorrect implementation can be prevented early. This goal can be achieved by verifying the consistency and validity of specications. In this paper we put forward specication testing as a practical technique for verication and validation of formal specications. Our approach is to derive proof obli...

A fast method for enclosing all eigenpairs in symmetric positive definite generalized eigenvalue problems is proposed. Firstly theorems on verifying all eigenvalues are presented. Next a theorem on verifying all eigenvectors is presented. The proposed method is developed based on these theorems. Numerical results are presented showing the efficiency of the proposed method. As an application of ...

We consider communication places in workflow nets, where the connected transitions lie in parallel threads. When a workflow Petri net is constructed structurally, by means of refinements, such places cannot be modeled structurally. They are added after the net is constructed. Workflow nets constructed in a structural manner are sound, but addition of such communication places can result in losi...

Many of the production facilities and technologies operated on the Norwegian Continental Shelf are getting older and need to be modified to maintain the production performance at the desirable level. Each modification project is unique, and therefore needs to be evaluated and verified with consideration to all specifications. However, the oil and gas industry experience shows that the execution...

We consider the problem of sequential binary hypothesis testing with a distributed sensor network in a nonGaussian noise environment. To this end, we present a general formulation of the Consensus + Innovations Sequential Probability Ratio Test (CISPRT). Furthermore, we introduce two different concepts for robustifying the CISPRT and propose four different algorithms, namely, the Least-Favorabl...

Computational techniques for the analysis of mechanical problems have recently moved from traditional engineering disciplines to biomedical simulations. Thus, the number of complex models describing the mechanical behavior of medical environments have increased these last years. While the development of advanced computational tools has led to interesting modeling algorithms, the relevances of t...