206 search results - page 17 / 42 » Formal Specification and Analysis of an E-voting System |
ATVA
2006
Springer
15 years 1 months ago
2006
Springer
In many safety-critical applications of embedded systems, the system dynamics exhibits hybrid behaviors. To enable automatic analysis of these embedded systems, many analysis tools...
EDOC
2008
IEEE
15 years 3 months ago
2008
IEEE
Enterprise Architecture is a model-based approach to business-oriented IT management. To promote good IT decision making, an Enterprise Architecture framework needs to explicate w...
MVA
1992
14 years 10 months ago
1992
This paper presents a document analysis system which is capable of extracting the semantics of specific text portions of structured documents. The main component of the system is ...
ISSTA
1998
ACM
15 years 1 months ago
1998
ACM
We present various techniques for improving the time and space efficiency of symbolic model checking for system requirements specified as synchronous finite state machines. We use...
SAS
2009
Springer
15 years 10 months ago
2009
Springer
In this paper we present a new shape analysis algorithm. The key distinguishing aspect of our algorithm is that it is completely compositional, bottom-up and non-iterative. We pres...