4340 search results - page 504 / 868 » Formal Methods and Cryptography |
171
Voted
FM
2003
Springer
15 years 12 months ago
2003
Springer
With the steady increase in computational power of general purpose computers, our ability to analyze routine software artifacts is also steadily increasing. As a result, we are wit...
179
click to vote
FMCO
2003
Springer
15 years 12 months ago
2003
Springer
ract State Machine Language, AsmL, is a novel executable specification based on the theory of Abstract State Machines. AsmL is object-oriented, provides high-level mathematical d...
173
click to vote
FORMATS
2003
Springer
15 years 12 months ago
2003
Springer
In this paper we report some progress in applying timed automata technology to large-scale problems. We focus on the problem of finding maximal stabilization time for combinationa...
163
click to vote
FORMATS
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. This paper presents a model-checking approach for analyzing discrete-time Markov reward models. For this purpose, the temporal logic probabilistic CTL is extended with re...
183
click to vote
IFL
2003
Springer
15 years 12 months ago
2003
Springer
Abstract This paper presents a type-based analysis for inferring sizeand cost-equations for recursive, higher-order and polymorphic functional programs without requiring user annot...