1301 search results - page 94 / 261 » Specifications via Realizability |
137
click to vote
CCE
2008
15 years 3 months ago
2008
In this paper, derivation of the optimal chemotherapy schedule is formulated and solved as a dynamic optimization problem. For this purpose two models representing the tumour grow...
142
Voted
FUIN
2008
15 years 3 months ago
2008
The aim of the work is twofold. In order to face the problem of modeling time constraints in Promela, a timed extension of the language is presented. Next, timed Promela is transla...
134
click to vote
FUIN
2006
15 years 3 months ago
2006
Abstract. We analyse different versions of the Dining Cryptographers protocol by means of automatic verification via model checking. Specifically we model the protocol in terms of ...
108
click to vote
ENTCS
2002
15 years 3 months ago
2002
The refinement calculus is a well-established theory for translating specifications to program code. Recent research has extended the calculus to handle real-time requirements and...
111
Voted
ICFEM
2009
Springer
15 years 1 months ago
2009
Springer
We present the integration of refinement method of VSE verification tool, successfully used in industrial applications, in the Heterogeneous Tool Set HETS. The connection is done v...