206 search results - page 1 / 42 » Formal Specification and Analysis of an E-voting System |
ICSEA
2008
IEEE
13 years 11 months ago
2008
IEEE
In this paper we propose that formal modelling techniques are necessary in establishing the trustworthiness of e-voting systems and the software within. We illustrate how a distri...
IEEEARES
2010
IEEE
13 years 9 months ago
2010
IEEE
CDC
2010
IEEE
12 years 11 months ago
2010
IEEE
Abstract-- We present a computational framework for identifying a set of initial states from which all trajectories of a piecewise affine (PWA) system satisfy a Linear Temporal Log...
HASE
1998
IEEE
13 years 9 months ago
1998
IEEE
Engineers use software tools to analyze designs for critical systems. Because important decisions are based on tool results, tools must provide valid modeling constructs; engineer...
FM
2006
Springer
13 years 8 months ago
2006
Springer
While designing a service-oriented system, deciding whether a service interaction is desired or harmful is a subjective choice which depends on the requirements expressed by the us...