2687 search results - page 57 / 538 » Formal Analysis of PKCS |
140
Voted
AOSD
2009
ACM
14 years 10 months ago
2009
ACM
Traditional methods characterize a software product line's requirements using either functional or quality criteria. This appears to be inadequate to assess modularity, detec...
76
Voted
SAS
2010
Springer
14 years 11 months ago
2010
Springer
92
Voted
ISOLA
2010
Springer
14 years 10 months ago
2010
Springer
106
Voted
FORTE
2009
14 years 10 months ago
2009
Abstract. We propose a verification method for parameterized systems with global conditions. The method is based on context-sensitive constraints, a symbolic representation of infi...
227
Voted
FM
2011
Springer
14 years 4 months ago
2011
Springer
Abstract. In this paper we describe TRACECONTRACT, an API for trace analysis, implemented in the SCALA programming language. We argue that for certain forms of trace analysis the b...