323 search results - page 34 / 65 » Verifying the Mondex Case Study |
111
Voted
CORR
2008
Springer
15 years 1 months ago
2008
Springer
er presents an abstraction of Hoare logic to traced symmetric monoidal categories, a eral framework for the theory of systems. Our abstraction is based on a traced monoidal functor...
118
click to vote
IAJIT
2008
15 years 1 months ago
2008
: UML currently still lacks a rigorously defined semantics for its models, which makes formally analyzing a model and verifying its properties extremely difficult. To remedy that, ...
131
Voted
CAI
2006
Springer
15 years 1 months ago
2006
Springer
In this paper, formal verification methodologies and the SPR (Safety Problem Resolver) model checking tool are used for verifying a security model's safety. The SPR tool makes...
118
click to vote
CLUSTER
2007
IEEE
15 years 1 months ago
2007
IEEE
Large-scale scientific computing applications frequently make use of closely-coupled distributed parallel components. The performance of such applications is therefore dependent o...
124
click to vote
IJCSA
2007
15 years 1 months ago
2007
This article presents experiences in the automation of a testing process. The main goal is the unified testing of not only one program, but a whole family of programs. The family ...