1914 search results - page 117 / 383 » Verification by Abstract Interpretation |
142
click to vote
ESWS
2009
Springer
14 years 10 months ago
2009
Springer
Abstract. In this paper we investigate the transformation of OWL-S process models to ISPL - the system description language for MCMAS, a symbolic model checker for multi agent syst...
142
click to vote
ECEASST
2010
14 years 10 months ago
2010
Abstract: An experiment in providing volunteer cloud computing support for automated audits of open source code is described here, along with the supporting theory. Certification a...
111
click to vote
EUROCAST
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. Computer viruses and worms are major threats for our computer infrastructure, and thus, for economy and society at large. Recent work has demonstrated that a model checki...
109
Voted
FMCAD
2006
Springer
15 years 4 months ago
2006
Springer
In this paper we formally specify and verify an implementation of the IEEE802.11a standard physical layer based OFDM (Orthogonal Frequency Division Multiplexing) modem using the HO...
109
Voted
ESORICS
2000
Springer
15 years 4 months ago
2000
Springer
Abstract. We present a generic formal security model for operating systems of multiapplicative smart cards. The model formalizes the main security aspects of secrecy, integrity, se...