2687 search results - page 57 / 538 » Formal Analysis of PKCS |
AOSD
2009
ACM
13 years 9 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...
SAS
2010
Springer
13 years 9 months ago
2010
Springer
ISOLA
2010
Springer
13 years 9 months ago
2010
Springer
FORTE
2009
13 years 9 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...
FM
2011
Springer
13 years 2 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...