1492 search results - page 99 / 299 » Automatic Software Model Checking Using CLP |
FMSD
2006
14 years 10 months ago
2006
A Promela specification and a set of temporal properties are developed for a basic call service with a number of features. The properties are expressed in the logic LTL. Interactio...
89
Voted
ICSEA
2009
IEEE
15 years 4 months ago
2009
IEEE
: This paper presents an approach to model ontologies for the e-Government domain as a basis for an integrated e-Government environment. Over the last couple of years the applicati...
78
Voted
ACSAC
2010
IEEE
14 years 8 months ago
2010
IEEE
Leakage of confidential information represents a serious security risk. Despite a number of novel, theoretical advances, it has been unclear if and how quantitative approaches to ...
98
Voted
FASE
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. This paper presents the use of a method – and its corresponding tool set – for compositional verification of applet interactions on a realistic industrial smart card...
68
Voted
SPIN
2007
Springer
15 years 4 months ago
2007
Springer
Boolean programs are frequently used to model abstractions of software programs. They have the advantage that reachability properties are decidable, despite the fact that their sta...