641 search results - page 44 / 129 » Formal Reliability Analysis Using Theorem Proving |
CCS
2007
ACM
15 years 8 months ago
2007
ACM
er presents a novel approach for concisely abstracting authentication s and for subsequently analyzing those abstractions in a sound manner, i.e., deriving authentication guarante...
136
click to vote
ACL2
2006
ACM
15 years 8 months ago
2006
ACM
We describe an embedding of the ACL2 logic into higherorder logic. An implementation of this embedding allows ACL2 to be used as an oracle for higher-order logic provers. Categori...
136
click to vote
ICALP
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. Weighted automata are used to describe quantitative properties in various areas such as probabilistic systems, image compression, speech-to-text processing. The behaviour...
108
click to vote
FMCO
2008
Springer
15 years 3 months ago
2008
Springer
This paper is placed in the context of large scale distributed programming, providing a programming model based on asynchronous components. It focuses on the semantics of asynchron...
179
click to vote
PTS
2010
15 years 6 days ago
2010
We present a novel algorithm for test data generation that is based on techniques used in formal software verification. Prominent examples of such formal techniques are symbolic ex...